PrototypeCommon
ProofSystem/Encyclopedia
An Open Encyclopedia of Proof Systems
- Owner
- ProofSystem (organization)
- Stars
- Stars: 127
- Forks
- Forks: 37
- Language
- TeX
- License
- None
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in TeX
All TeX repos- alexcalabrese/techResumeStars: 127TeXPrototype
- mattblackwell/gov2002-bookStars: 127TeXPrototype
- myria666/qMovementDocStars: 127TeXPrototype
- vanderlee/phpSyllableStars: 127TeXPrototype
- jrnold/beamercolorthemesolarizedStars: 127TeXPrototype
- lifanxi/free-as-in-freedom-zh-cnStars: 127TeXPrototype