ccz181078 / Coq-BB5Links
☆337Updated this week
Alternatives and similar repositories for Coq-BB5
Users that are interested in Coq-BB5 are comparing it to the libraries listed below
Sorting:
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆681Updated this week
- Natural Number Game☆218Updated 3 weeks ago
- Server to host lean games.☆319Updated this week
- Metamath source file for logic and set theory☆294Updated this week
- An introduction to theorem proving in Lean for the impatient.☆251Updated 2 weeks ago
- A project to map out the relations between different equational theories of Magmas.☆421Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆454Updated last month
- Source code for the nLab☆186Updated 6 months ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆188Updated 2 weeks ago
- Metamath Zero specification language☆352Updated last month
- Scientific computing in Lean 4☆425Updated 3 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆396Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆326Updated this week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆217Updated 2 months ago
- metamath proof enumerators and other things☆94Updated last year
- A wiki for collaborative work on totally legitimate "category theory"☆120Updated last year
- Exponent pair database☆61Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆298Updated 9 months ago
- Lean documentation authoring tool☆218Updated this week
- HoTTEST Summer School materials☆311Updated 3 months ago
- ☆257Updated 2 weeks ago
- A project to digitalise results from physics into Lean.☆348Updated this week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- 💧 Liquid Tensor Experiment☆206Updated last year
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆228Updated 6 months ago
- The agda-unimath library☆266Updated last week
- Tactics for discharging Lean goals into SMT solvers.☆221Updated this week
- White-box automation for Lean 4☆297Updated this week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year
- Catalog Of Math Problems Formalized In Lean☆194Updated this week