machine-intelligence / provabilityLinks
☆38Updated 9 years ago
Alternatives and similar repositories for provability
Users that are interested in provability are comparing it to the libraries listed below
Sorting:
- Real number computation software☆126Updated 2 years ago
- ☆16Updated 4 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆51Updated last month
- ☆27Updated last year
- ☆47Updated 2 years ago
- HoTT in Lean 3☆80Updated 5 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- ☆49Updated last year
- Formal verification of parts of the Stacks Project in Lean☆22Updated 3 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Ground Zero: Lean 4 HoTT Library☆64Updated last week
- A formalization of M-types in Agda☆34Updated 5 years ago
- A DSL for the internal language of a topos☆65Updated 3 weeks ago
- Lean4 port of Arduino balance car controller☆44Updated 4 years ago
- maze game encoded in Lean 4 syntax☆60Updated last month
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- ☆84Updated 7 years ago
- Haskell implementation of open games☆172Updated 6 months ago
- Jupyter notebook for the Lean4 programming language☆24Updated 3 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 7 years ago
- WIP collections library for Lean 4☆32Updated 3 months ago
- An arbitrary-precision differentiable programming language.☆36Updated 2 years ago
- Parser Combinator Library for Lean 4☆55Updated last week
- An LLVM interface for Lean 4. (WIP)☆22Updated 2 years ago
- Very controlled natural language tactics for Lean☆64Updated last year
- A Testing Framework for Lean☆57Updated 4 months ago
- ☆19Updated 2 years ago
- A formalization of ML kernel languages☆22Updated last week