leanprover-community / mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
☆1,663Updated 8 months ago
Alternatives and similar repositories for mathlib3:
Users that are interested in mathlib3 are comparing it to the libraries listed below
- Lean 3 Theorem Prover (community fork)☆434Updated last year
- Lean Theorem Prover☆2,152Updated last year
- Lean 4 programming language and theorem prover☆5,185Updated this week
- The math library of Lean 4☆1,791Updated this week
- A Coq library for Homotopy Type Theory☆1,297Updated this week
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆972Updated this week
- The Lean version manager☆349Updated last month
- The user home repository for the Mathematics in Lean tutorial.☆307Updated last week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆390Updated this week
- A textbook on informal homotopy type theory☆2,064Updated last week
- Some Lean tutorials☆182Updated last year
- Mathematical Components☆605Updated this week
- Scientific computing in Lean 4☆375Updated this week
- Lean Library currently studying for a degree at Imperial College☆225Updated last month
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆4,971Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆399Updated 3 weeks ago
- 💧 Liquid Tensor Experiment☆189Updated last year
- Metamath source file for logic and set theory☆272Updated this week
- Repository for the Stacks Project☆887Updated 5 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆288Updated this week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,598Updated this week
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- This repository used to be the user-facing mirror of the Sage source tree. As Sage development migrated on 2023-02-01 from https://trac.s…☆2,009Updated 2 years ago
- An introduction to programming language theory in Agda☆1,412Updated last week
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆412Updated this week
- Server to host lean games.☆243Updated this week
- L-Functions and Modular Forms Database☆261Updated last week
- A project to map out the relations between different equational theories of Magmas.☆305Updated last week
- plasTeX plugin to build formalization blueprints.☆187Updated 2 weeks ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆395Updated last year