PrototypeCommon
math-comp/mcb
Mathematical Components (the Book)
- Owner
- math-comp (organization)
- Stars
- Stars: 154
- Forks
- Forks: 27
- Language
- TeX
- License
- None
- Created
- 2016
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by math-comp
All 4 repos by math-comp- math-comp/math-compStars: 706Rocq ProverBeta
- math-comp/analysisStars: 246Rocq ProverPrototype
- math-comp/hierarchy-builderStars: 104Rocq ProverPrototype
Nearby in TeX
All TeX repos- Decane/SRPStars: 154TeXPrototype
- sleepymalc/NotesStars: 154TeXPrototype
- mwxely/AIGSStars: 154TeXPrototype
- taopanpan/CasitLabStars: 153TeXPrototype