Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Theorem_proving_in_lean | 41 | a year ago | 5 | apache-2.0 | Python | |||||
Theorem proving in Lean | ||||||||||
Pygments Markdown Lexer | 18 | 26 | 6 | 6 years ago | 2 | December 15, 2021 | 4 | apache-2.0 | Python | |
:construction: [BETA, not feature complete] A Markdown lexer for Pygments to highlight Markdown code snippets. | ||||||||||
Language Sphinx | 6 | 6 years ago | 2 | gpl-3.0 | ||||||
A Sphinx syntax package for Atom |