OpenClaw-style theorem proving
☆29Aug 21, 2026Updated 2 months ago
Alternatives and similar repositories for Autoformalization
Users that are interested in Autoformalization are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ASCI Summer Research Lean☆11Updated this week
- ☆37Jul 3, 2026Updated 3 months ago
- ☆16May 28, 2026Updated 4 months ago
- A Lean4 Formalization of Polynomial Functors☆31Jul 10, 2026Updated 3 months ago
- ☆141Updated this 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.
- Mozi Lean Copilot VS Code Extension☆12Jan 7, 2026Updated 9 months ago
- ☆12Feb 17, 2025Updated last year
- How to say it using Mathlib.☆21Oct 13, 2026Updated last week
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- The sublibrary of Mathlib dedicated to additive combinatorics☆19Updated this week
- MA4N1 Theorem Proving with Lean☆20Oct 5, 2026Updated 2 weeks ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆71Updated this week
- Proétale cohomology in Lean☆16Sep 29, 2026Updated 3 weeks ago
- A Lean 4 formalization of partial combinatory algebras.☆15Jan 6, 2025Updated last year
- 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.
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- ☆82Jun 12, 2026Updated 4 months ago
- ☆21Mar 4, 2026Updated 7 months ago
- Lean 4 JSON Schema library — types, validation, correctness proofs, and deriving handlers☆29Jul 16, 2026Updated 3 months ago
- A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!☆19Apr 22, 2026Updated 6 months ago
- 🏝️ Code for our paper: "Privasis: Synthesizing the Largest 'Public' Private Dataset from Scratch"☆16Jul 10, 2026Updated 3 months ago
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆14Jan 16, 2022Updated 4 years ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated last week
- 15k open math problems, linked to their sources.☆28Jul 31, 2026Updated 2 months ago
- 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.
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆36Oct 12, 2026Updated last week
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Oct 15, 2026Updated last week
- Tool to analyse the import structure of lean projects.☆28Oct 14, 2026Updated last week
- Semantic Search Over 9 million Mathematical Theorems☆23Oct 3, 2026Updated 2 weeks ago
- ☆47Jun 26, 2026Updated 3 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- ☆104Jul 17, 2026Updated 3 months ago
- Bindings and specification for BLAS☆11Feb 12, 2026Updated 8 months ago
- ReasBook main branch mirror for self-hosted CI☆65Updated this week
- 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.
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆101Oct 13, 2026Updated last week
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆23Jul 27, 2026Updated 2 months ago
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- ☆22Sep 25, 2026Updated 3 weeks ago
- ☆16Jun 17, 2026Updated 4 months ago
- ☆62Dec 1, 2025Updated 10 months ago
- Formalization of the existence of sphere eversions☆49Updated this week