Popular repositories Loading

1. modern-latex-manuscripts modern-latex-manuscripts Public

   TeX 2

2. mathematics-commons-pilot mathematics-commons-pilot Public

   Leiden-led, AI-integrated mathematics workflow using bounded Research Packets and peer-to-peer review.

   Python

3. OpenLogic OpenLogic Public

   Forked from OpenLogicProject/OpenLogic

   An open-source, customizable intermediate logic textbook

   TeX

4. 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

5. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

6. osbooks-introductory-statistics-bundle osbooks-introductory-statistics-bundle Public

   Forked from openstax/osbooks-introductory-statistics-bundle

   HTML