Popular repositories Loading

1. mathematics_in_lean mathematics_in_lean Public

   Forked from leanprover-community/mathematics_in_lean

   The user home repository for the Mathematics in Lean tutorial.

   HTML 2

2. Survey-for-Improving-Research-Software-Engineering-in-Mathematics Survey-for-Improving-Research-Software-Engineering-in-Mathematics Public

   Jupyter Notebook 1

3. eportfolio eportfolio Public

   HTML 1

4. resume-and-other-latex-files resume-and-other-latex-files Public

   working with LaTeX here!

   TeX

5. NNG4 NNG4 Public template

   Forked from leanprover-community/NNG4

   Natural Number Game

   Lean

6. custom-language-lang-theory custom-language-lang-theory Public

   Forked from davidcallanan/py-myopl-code

   Interpreter for the BASIC language written in Python 3

   Python