LMFDB / lmfdb
L-Functions and Modular Forms Database
☆251Updated this week
Related projects ⓘ
Alternatives and complementary repositories for lmfdb
- LaTeX version of Grothendieck's Pursuing Stacks☆46Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆240Updated 10 years ago
- Digital images used as illustrations in the Open Logic Project☆6Updated 7 years ago
- Repository for the Stacks Project☆860Updated 2 months ago
- ☆159Updated 5 years ago
- Metamath source file for logic and set theory☆255Updated this week
- amateur translation project of Grothendieck's EGA.☆330Updated last month
- Source code for the nLab☆149Updated 2 months ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆961Updated this week
- Development of the univalent foundations of mathematics in Coq☆17Updated 12 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆347Updated this week
- Lean Library currently studying for a degree at Imperial College☆228Updated last year
- A Coq library for Homotopy Type Theory☆1,256Updated this week
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆813Updated this week
- A textbook on informal homotopy type theory☆2,034Updated 5 months ago
- ☆336Updated 6 years ago
- The HOL Light theorem prover☆431Updated 2 weeks ago
- Perfectoid spaces in the Lean formal theorem prover.☆117Updated 4 months ago
- The collected works of F. W. Lawvere☆321Updated 2 months ago
- Mathematical Components☆587Updated this week
- 💧 Liquid Tensor Experiment☆181Updated 9 months ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆121Updated 2 years ago
- Development of homotopy type theory in Agda☆416Updated 5 years ago
- The formal proof of the Kepler conjecture☆148Updated 6 months ago
- The agda-unimath library☆222Updated this week
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆397Updated last week
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- Homotopy theory in Coq.☆90Updated 13 years ago
- sources for the Singular computer algebra system☆262Updated this week
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month