Mathematics_in_lean_source | Sphinxcontrib Pandoc Markdown | |
---|---|---|
Stars | 55 | 11 |
Downloads | ||
Dependent Packages | ||
Dependent Repos | 3 | |
Most Recent Commit | 5 months ago | 6 years ago |
Total Releases | 15 | |
Latest Release | May 26, 2017 | |
Open Issues | 18 | 10 |
License | bsd-2-clause | |
Programming Language | Lean | Python |