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

   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. python-repo python-repo Public

   putting some python stuff here

6. NNG4 NNG4 Public template

   Forked from leanprover-community/NNG4

   Natural Number Game

   Lean