Popular repositories Loading

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

   TeX 2

2. stacks-project stacks-project Public archive

   Forked from stacks/stacks-project

   Canonical-upstream provenance fork preserved read-only after consolidation. Unified AI-integrated edition: https://github.com/KokunoYumeto/unofficial-ai-integrated-stacks-project

   TeX

3. mathematics-commons-pilot mathematics-commons-pilot Public

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

   Python

4. OpenLogic OpenLogic Public

   Forked from OpenLogicProject/OpenLogic

   An open-source, customizable intermediate logic textbook

   TeX

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

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean