Templates for getting started with Verso
☆40Oct 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for verso-templates
Users that are interested in verso-templates are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean documentation authoring tool☆410Updated this week
- The sublibrary of Mathlib dedicated to additive combinatorics☆19Updated this week
- Formal prime certificates in Lean 4☆13Updated this week
- Focused research repository on Grothendieck rank-p^2 finite flat group-scheme conjecture☆14Aug 4, 2026Updated 3 months ago
- Comparator-based Lean formal mathematics eval☆51Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Autoformalization of Baek's solution to the moving sofa problem: the Gerver sofa is optimal☆13Sep 22, 2026Updated last month
- SageMath integration for Lean4☆15Oct 9, 2026Updated last month
- Proétale cohomology in Lean☆18Sep 29, 2026Updated last month
- Document Generator for Lean 4☆176Nov 3, 2026Updated last week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆55Updated this week
- ☆16Mar 2, 2026Updated 8 months ago
- (Mirror) A Music formalization library and DSL in Lean 4☆28Aug 25, 2026Updated 2 months ago
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated 2 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lean 4 formalization of Rubik's cubes☆37Feb 17, 2025Updated last year
- A YAML 1.2.2 parser in Lean 4 with the goal of **verified correctness**☆13Updated this week
- Power series arithmetic in Lean☆14Nov 22, 2025Updated 11 months ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 5 months ago
- ☆60Updated this week
- Lean library for typed metaprogramming based on staging, with support for dependent types and reasoning about metaprograms.☆18Sep 25, 2026Updated last month
- ☆248Oct 14, 2026Updated last month
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- Natural language tactics to teach mathematics using Lean 4☆174Oct 7, 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.
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Updated this week
- A controlled natural language syntax for Lean.☆63Updated this week
- A translation framework for eliminating definitional equalities in Lean☆17Jun 17, 2026Updated 4 months ago
- Docs → RFC2119 spec + Lean4 formal verification, via local-class LLMs☆19Sep 14, 2026Updated 2 months ago
- Plain-text declaration export for Lean 4☆49Oct 14, 2026Updated last month
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 5 months ago
- Cryptographic routines for the Lean 4 language☆53Sep 9, 2024Updated 2 years ago
- Formalization of Mathematical Logic☆299Updated this week
- RaList: Purely Functional Random-access Lists for Racket.☆12Feb 18, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LeanArchitect extracts a blueprint directly from Lean source.☆94Oct 28, 2026Updated 2 weeks ago
- Write LaTeX presentations directly from Lean4~☆30Dec 28, 2025Updated 10 months ago
- Lean 4 theorem proving skill and workflow pack for AI coding agents☆486Nov 8, 2026Updated last week
- ☆24May 3, 2026Updated 6 months ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆10May 1, 2026Updated 6 months ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆26Updated this week
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 9 months ago
Are these results useful?