leanprover / lean4
Lean 4 programming language and theorem prover
☆4,498Updated this week
Related projects: ⓘ
- Lean Theorem Prover☆2,147Updated 11 months ago
- The math library of Lean 4☆1,382Updated this week
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,665Updated 2 months ago
- Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theor…☆4,790Updated this week
- Agda is a dependently typed programming language / interactive theorem prover.☆2,466Updated this week
- Lean 3 Theorem Prover (community fork)☆435Updated 11 months ago
- A modern proof language☆3,539Updated 2 months ago
- A Proof-oriented Programming Language☆2,672Updated this week
- A purely functional programming language with first class types☆2,492Updated this week
- Koka language compiler and interpreter☆3,245Updated this week
- A modern commutative diagram editor for the web.☆2,397Updated last month
- Dafny is a verification-aware programming language☆2,878Updated this week
- The core OCaml system: compilers, runtime system, base libraries☆5,398Updated this week
- An introduction to programming language theory in Agda☆1,355Updated this week
- A massively parallel, optimal functional runtime in Rust☆10,428Updated 2 weeks ago
- A Coq library for Homotopy Type Theory☆1,243Updated this week
- Research language for array processing in the Haskell/ML family☆1,576Updated 3 weeks ago
- The Lean version manager☆297Updated last month
- The CompCert formally-verified C compiler☆1,853Updated last week
- A modern Prolog implementation written mostly in Rust.☆2,005Updated this week
- Create beautiful diagrams just by typing notation in plain text.☆6,778Updated last week
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆952Updated this week
- A data-parallel functional programming language☆2,366Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆347Updated last week
- The user home repository for the Mathematics in Lean tutorial.☆240Updated last week
- Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.☆2,647Updated this week
- Haskell library for building declarative animations based on SVG graphics☆1,118Updated 8 months ago
- LLMs as Copilots for Theorem Proving in Lean☆951Updated 2 weeks ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,115Updated 3 weeks ago
- Repository for the Stacks Project☆849Updated last week