AlphaUncommon
Trebor-Huang/history
History of type theory (Chinese).
- Owner
- Trebor-Huang (personal account)
- Stars
- Stars: 359
- Forks
- Forks: 12
- Language
- TeX
- License
- None
- Created
- 2022
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in TeX
All TeX repos- iml-wg/HEP-ML-ResourcesStars: 361TeXAlpha
- lh3/miniasmStars: 360TeXAlpha
- PostgREST/postgrest-docsStars: 359TeXAlpha
- ICLR/Master-TemplateStars: 358TeXAlpha
- Pomax/nrGrammarStars: 357TeXAlpha
- ustctug/ustcbeamerStars: 357TeXAlpha