# ProofSystem/Encyclopedia

<https://repo.masters-masters.com/en/repos/ProofSystem/Encyclopedia>

[Home](https://repo.masters-masters.com/en) › [ProofSystem](https://repo.masters-masters.com/en/owners/ProofSystem) › [Encyclopedia](https://repo.masters-masters.com/en/repos/ProofSystem/Encyclopedia)

ProofSystem/Encyclopedia has 127 stars on GitHub. Its RepoMasters card: Prototype tier. An Open Encyclopedia of Proof Systems Language: TeX.

| Field | Value |
| --- | --- |
| Owner | [ProofSystem](https://repo.masters-masters.com/en/owners/ProofSystem) |
| Stars | 127 |
| Forks | 37 |
| Language | [TeX](https://repo.masters-masters.com/en/languages/tex) |
| License | None |
| Created | 2014 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [ProofSystem/Encyclopedia](https://github.com/ProofSystem/Encyclopedia) |

## Repository

An Open Encyclopedia of Proof Systems

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in TeX

- [mattblackwell/gov2002-book · ★ 127 · TeX · Prototype](https://repo.masters-masters.com/en/repos/mattblackwell/gov2002-book)
- [myria666/qMovementDoc · ★ 127 · TeX · Prototype](https://repo.masters-masters.com/en/repos/myria666/qMovementDoc)
- [gulucaptain/Best-Paper-Writing-Skill · ★ 127 · TeX · Prototype](https://repo.masters-masters.com/en/repos/gulucaptain/Best-Paper-Writing-Skill)
- [vanderlee/phpSyllable · ★ 127 · TeX · Prototype](https://repo.masters-masters.com/en/repos/vanderlee/phpSyllable)
- [jrnold/beamercolorthemesolarized · ★ 127 · TeX · Prototype](https://repo.masters-masters.com/en/repos/jrnold/beamercolorthemesolarized)
- [lifanxi/free-as-in-freedom-zh-cn · ★ 127 · TeX · Prototype](https://repo.masters-masters.com/en/repos/lifanxi/free-as-in-freedom-zh-cn)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.