Build structured Proof Blueprints with Verso
☆35Oct 10, 2026Updated last week
Alternatives and similar repositories for verso-blueprint
Users that are interested in verso-blueprint are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A graph-engineering agent harness for long-horizon, research-level autoformalization.☆30Jul 8, 2026Updated 3 months ago
- ☆31Sep 9, 2026Updated last month
- How to say it using Mathlib.☆21Oct 13, 2026Updated last week
- Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.☆41Updated this week
- ☆10Apr 19, 2026Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Algebraic UI's in Purescript☆16Dec 4, 2020Updated 5 years ago
- An external lean checker with a proof of consistency☆139Updated this week
- ☆39Sep 27, 2026Updated 3 weeks ago
- Python client to interact with the lean4 language server.☆48Aug 19, 2026Updated 2 months ago
- Mozi Lean Copilot VS Code Extension☆12Jan 7, 2026Updated 9 months ago
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- Lean 4 tactic library for closing proofs across applied mathematics. Probability, statistics, biology, chemistry, economics, engineering,…☆17Jul 20, 2026Updated 3 months ago
- SorryDB indexes sorries in public lean repositories☆57Sep 8, 2026Updated last month
- ☆245Oct 14, 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.
- Some Cryptids and Lean proofs☆52Updated this week
- Proof infrastructure about LTL in Lean 4☆38Oct 13, 2026Updated last week
- A data-oriented proof assistant☆34Updated this week
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- AI Agentic Research System for Computational Mathematics☆61Aug 9, 2026Updated 2 months ago
- AI for Mathematics Paper List☆18Jan 14, 2025Updated last year
- Computable Polynomials in Lean.☆48Oct 13, 2026Updated last week
- ☆11Jul 4, 2022Updated 4 years ago
- Agora: Git as Shared Memory for Collective AutoResearch (arXiv:2609.18094)☆86Sep 29, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 4 months ago
- ☆29Apr 2, 2026Updated 6 months ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆50Updated this week
- ☆40Jul 29, 2026Updated 2 months ago
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- Vermilion: Verus meets Lean☆60Updated this week
- ☆93Updated this week
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆86Aug 30, 2026Updated last month
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 8 months 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.
- Source for the community blog☆11Updated this week
- C++20 STL Programming Cookbook, published by Packt☆12Jan 20, 2021Updated 5 years ago
- Comparator-based Lean formal mathematics eval☆48Oct 7, 2026Updated last week
- A type-safe abstraction for platform-independent file system paths.☆27Apr 23, 2021Updated 5 years ago
- General neural tactic for Lean 4☆47Oct 14, 2026Updated last week
- Lean 4 framework for reasoning about Triton-style kernels.☆29Updated this week
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆35Oct 12, 2026Updated last week