Lean 4 programming language and theorem prover
☆9,609Oct 20, 2026Updated this week
Alternatives and similar repositories for lean4
Users that are interested in lean4 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The math library of Lean 4☆4,341Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆421Updated this week
- Lean Theorem Prover☆2,155Oct 14, 2023Updated 3 years ago
- The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, ex…☆5,612Updated this week
- The Lean version manager☆659Oct 10, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,664Jun 28, 2024Updated 2 years ago
- Agda is a dependently typed programming language / interactive theorem prover.☆2,947Updated this week
- A purely functional programming language with first class types☆3,100Oct 14, 2026Updated last week
- White-box automation for Lean 4☆409Updated this week
- VS Code extension for the Lean 4 programming language and theorem prover☆314Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆1,051Updated this week
- Koka language compiler and interpreter☆4,105Oct 15, 2026Updated last week
- A Proof-oriented Programming Language☆3,124Updated this week
- ☆316Oct 15, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lean documentation authoring tool☆397Updated this week
- A verification toolchain for Rust programs☆1,087Updated this week
- The Z3 Theorem Prover☆12,809Updated this week
- The Lean Computer Science Library (CSLib)☆774Updated this week
- Scientific computing in Lean 4☆539Feb 18, 2026Updated 8 months ago
- Neovim support for the Lean theorem prover☆610Updated this week
- Lean 3 Theorem Prover (community fork)☆436Oct 12, 2023Updated 3 years ago
- A project to digitalise results from physics into Lean.☆805Updated this week
- HVM1 (2022): a massively parallel, optimal functional runtime in Rust☆11,349Sep 16, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Server to host Lean games☆571Updated this week
- Dafny is a verification-aware programming language☆3,587Updated this week
- A markup-based typesetting system that is powerful and easy to learn.☆56,708Updated this week
- A modern proof language☆3,760Jan 22, 2025Updated last year
- Tactics for discharging Lean goals into SMT solvers.☆314Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆552Sep 6, 2026Updated last month
- Helper toolkit for creating your own Lean 4 UserWidgets☆230Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆620Oct 12, 2026Updated last week
- LLMs as Copilots for Theorem Proving in Lean☆1,335Oct 13, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Lean 4 kernel / 'external checker' written in Lean 4☆266Oct 10, 2026Updated last week
- A Lean companion to Analysis I☆1,968Updated this week
- Theorem Proving in Lean 4☆277Oct 12, 2026Updated last week
- Verified Rust for low-level systems code☆3,366Updated this week
- Experiments on automation for Lean☆193Sep 28, 2026Updated 3 weeks ago
- The CompCert formally-verified C compiler☆2,251Updated this week
- An experimental library for Cubical Agda☆572Oct 8, 2026Updated 2 weeks ago