Lean4 benchmark on 1 category.
☆25May 4, 2026Updated 2 weeks ago
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 5 months ago
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆86Updated this week
- 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 2 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆93Apr 17, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- a comprehensive implementation of "The Google File System" paper in rust☆72Mar 23, 2026Updated last month
- LeanArchitect extracts a blueprint directly from Lean source.☆47Apr 24, 2026Updated 3 weeks ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆53Feb 23, 2026Updated 2 months ago
- Prune is a constraint logic programming language with branching heuristic.☆36Apr 26, 2026Updated 3 weeks ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆116Apr 5, 2026Updated last month
- A unified neural-symbolic framework for solving plane and solid geometric problems via Parse2Reason & Official repository for the CVPR 20…☆40Apr 28, 2026Updated 3 weeks ago
- OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".☆17Feb 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 3 weeks ago
- 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.
- 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 2 weeks ago
- ☆11Apr 10, 2024Updated 2 years ago
- Formalization of the existence of sphere eversions☆47Mar 30, 2026Updated last month
- Nix overlay for Lean 4, and lake2nix☆106Apr 28, 2026Updated 3 weeks ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Hierarchical Dirichlet Process (with Split-Merge Operations), originally by Chong Wang☆18Oct 12, 2013Updated 12 years ago
- High-Level Rust API for egglog☆29Updated this week
- 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.☆203Apr 18, 2026Updated last month
- Code repository for our work on Quantum Pi☆11Jun 4, 2024Updated last year
- Functional Reactive Programming for Scala☆24Dec 3, 2016Updated 9 years ago
- ☆13Oct 28, 2025Updated 6 months ago
- Implementation of Material3 Web Components in Kotlin Compose for Web.☆13Oct 31, 2023Updated 2 years ago
- ☆52Jan 23, 2026Updated 3 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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
- Ktorm's document site.☆10May 1, 2026Updated 2 weeks ago
- A minimalist implementation of type theory, suitable for experimentation☆16Aug 9, 2025Updated 9 months ago
- 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 3 months ago
- The fun programming language☆17Oct 30, 2024Updated last year