LMFDB / lmfdb
L-Functions and Modular Forms Database
☆246Updated last week
Related projects: ⓘ
- LaTeX version of Grothendieck's Pursuing Stacks☆46Updated 2 years ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆952Updated this week
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆239Updated 10 years ago
- Digital images used as illustrations in the Open Logic Project☆6Updated 7 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆343Updated this week
- A Coq library for Homotopy Type Theory☆1,243Updated this week
- A textbook on informal homotopy type theory☆2,016Updated 3 months ago
- ☆158Updated 4 years ago
- Source code for the nLab☆137Updated 2 weeks ago
- Metamath source file for logic and set theory☆243Updated this week
- Repository for the Stacks Project☆849Updated last week
- Development of the univalent foundations of mathematics in Coq☆17Updated 12 years ago
- The collected works of F. W. Lawvere☆311Updated 2 weeks ago
- The HOL Light theorem prover☆414Updated 3 weeks ago
- Mathematical Components☆574Updated this week
- Perfectoid spaces in the Lean formal theorem prover.☆115Updated 2 months ago
- Lean Library currently studying for a degree at Imperial College☆228Updated last year
- Development of homotopy type theory in Agda☆412Updated 5 years ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆376Updated last week
- amateur translation project of Grothendieck's EGA.☆322Updated 4 months ago
- Homotopy theory in Coq.☆90Updated 13 years ago
- ☆332Updated 6 years ago
- 💧 Liquid Tensor Experiment☆170Updated 7 months ago
- Group theory visualization software in the browser☆224Updated 6 months ago
- papers of Per Martin Löf☆746Updated 7 months ago
- The agda-unimath library☆218Updated last week
- A port of Coq to Javascript -- Run Coq in your Browser☆509Updated this week
- A formalization of geometry in Coq based on Tarski's axiom system☆180Updated 3 months ago
- A simple Wolfram Language clone in Haskell☆244Updated 5 years ago
- An open-source, customizable intermediate logic textbook☆1,045Updated 3 weeks ago