Mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Lecture Source Py | 165 | 4 years ago | 2 | bsd-3-clause | Jupyter Notebook | |||||
| Source files for "Lectures in Quantitative Economics" -- Python version | ||||||||||
| Mathematics_in_lean_source | 55 | 5 months ago | 18 | Lean | ||||||
| Source code for the Mathematics in Lean tutorial. | ||||||||||
| Doconce | 44 | a year ago | 17 | August 12, 2022 | 18 | other | Python | |||
| Lightweight markup language - Document Once | ||||||||||
| Sphinxcontrib Katex | 25 |  | 11 | 31 | 8 months ago | 33 | October 16, 2023 | 2 | mit | Python |
| Sphinx extension using KaTeX to render math in HTML | ||||||||||
| Sphinx Math Dollar | 24 | 2 years ago | 7 | mit | Python | |||||
| Sphinx extension to let you write LaTeX math using $$ | ||||||||||
| Sphinxcontrib Pandoc Markdown | 11 | 3 | 6 years ago | 15 | May 26, 2017 | 10 | bsd-2-clause | Python | ||
| Sphinx_live_preview | 8 | 5 years ago | 1 | Python | ||||||
| Html live preview python script for sphinx (reStructuredText), supports math rendering, any IDE | ||||||||||
| Gitbooks | 6 | 5 years ago | gpl-3.0 | |||||||
| This site would be merged into my main github.io site soon. 该博客将在不久后并入我的 github.io 主站。 | ||||||||||
| Texext | 5 |  | 45 | 14 | 8 months ago | 17 | June 02, 2022 | 2 | other | Python |
Alternatives To Mathematics_in_lean_sourceSelect To Compare
Alternative Project Comparisons
Popular Mathematics Projects
Popular Sphinx Projects
Popular Mathematics Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Mathematics
Sphinx