Lean4 benchmark on 1 category.
☆25May 4, 2026Updated last month
Alternatives and similar repositories for LeanCat
Users that are interested in LeanCat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- MA4N1 Theorem Proving with Lean☆17Nov 24, 2025Updated 6 months ago
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆87May 13, 2026Updated 3 weeks ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Formal specification of the Haskell Language Report☆32Mar 2, 2026Updated 3 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆93May 26, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a comprehensive implementation of "The Google File System" paper in rust☆74Mar 23, 2026Updated 2 months ago
- LeanArchitect extracts a blueprint directly from Lean source.☆49May 31, 2026Updated last week
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆54Feb 23, 2026Updated 3 months ago
- Prune is a constraint logic programming language with branching heuristic.☆38Updated this week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆119May 26, 2026Updated last week
- A unified neural-symbolic framework for solving plane and solid geometric problems via Parse2Reason & Official repository for the CVPR 20…☆40May 27, 2026Updated last week
- OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".☆18Feb 7, 2024Updated 2 years ago
- Formalization of "Analysis I" by Terence Tao☆24Apr 17, 2026Updated last month
- A static analysis tool for Lean 4.☆121Apr 22, 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.
- a tutorial implementation on an elaborator of a dependently typed language with pruning☆27Oct 20, 2022Updated 3 years ago
- 前程似锦☆19Nov 8, 2022Updated 3 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- ☆30Jul 16, 2025Updated 10 months ago
- Formalization of IMO shortlist problems in Lean 4☆25May 2, 2026Updated last month
- ☆10Apr 10, 2024Updated 2 years ago
- Formalization of the existence of sphere eversions☆47Updated this week
- Nix overlay for Lean 4, and lake2nix☆108May 28, 2026Updated last week
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Hierarchical Dirichlet Process (with Split-Merge Operations), originally by Chong Wang☆18Oct 12, 2013Updated 12 years ago
- High-Level Rust API for egglog☆29May 15, 2026Updated 3 weeks ago
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated 4 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆205Updated this week
- Code repository for our work on Quantum Pi☆11Jun 4, 2024Updated 2 years ago
- Functional Reactive Programming for Scala☆24Dec 3, 2016Updated 9 years ago
- ☆12Oct 28, 2025Updated 7 months ago
- Implementation of Material3 Web Components in Kotlin Compose for Web.☆13Oct 31, 2023Updated 2 years ago
- ☆53Jan 23, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- blog with go☆11Jul 5, 2023Updated 2 years ago
- A prototype of an SSA-based quantum IR exploiting value semantics☆14Jan 23, 2024Updated 2 years ago
- A minimalist implementation of type theory, suitable for experimentation☆16Aug 9, 2025Updated 9 months ago
- Ktorm's document site.☆11Jun 1, 2026Updated last week
- mirror of A simple type-theoretic language: Mini-TT☆41Feb 15, 2017Updated 9 years ago
- Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.☆25Feb 6, 2026Updated 4 months ago
- The fun programming language☆17Oct 30, 2024Updated last year