Mathematics_in_lean_source vs Texext
| Mathematics_in_lean_source | Texext | |
|---|---|---|
| Stars | 55 | 5 |
| Downloads |  | |
| Dependent Packages | 14 | |
| Dependent Repos | 45 | |
| Most Recent Commit | 5 months ago | 8 months ago |
| Total Releases | 17 | |
| Latest Release | June 02, 2022 | |
| Open Issues | 18 | 2 |
| License | other | |
| Programming Language | Lean | Python |