☆21May 5, 2026Updated 5 months ago
Alternatives and similar repositories for LeanCourse25
Users that are interested in LeanCourse25 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"☆11Aug 11, 2025Updated last year
- How to say it using Mathlib.☆21Updated this week
- Bonn Lean course for winter 24/25☆45Jul 1, 2026Updated 3 months ago
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆31Aug 13, 2026Updated 2 months ago
- ☆38Jul 3, 2026Updated 3 months ago
- 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 Lean 4 library for formal linguistics.☆30Updated this week
- The sublibrary of Mathlib dedicated to additive combinatorics☆19Updated this week
- Formalisation of the Kelley-Meka bound on Roth numbers☆31Oct 22, 2026Updated last week
- Leaff is a diff tool for Lean environments☆26Jan 18, 2025Updated last year
- ☆12Jun 30, 2022Updated 4 years ago
- Tools for writing good AI generated papers☆17Updated this week
- ASCI Summer Research Lean☆11Oct 17, 2026Updated 2 weeks ago
- Formalization of de Rham cohomologies of a smooth manifold☆11Jun 4, 2025Updated last year
- List of awesome works that use AI for mathematical discoveries.☆98Oct 12, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated last year
- Code powering the π-Base☆13Jul 7, 2026Updated 3 months ago
- Comparator-based Lean formal mathematics eval☆49Updated this week
- Power series arithmetic in Lean☆13Nov 22, 2025Updated 11 months ago
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Updated this week
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- LeanArchitect extracts a blueprint directly from Lean source.☆94Updated this week
- A formalization of the Banach-Tarski theorem in Lean☆17Jan 4, 2026Updated 9 months ago
- A certified RISC-V Interpreter with Hoare-logic in Lean☆23Aug 11, 2026Updated 2 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.
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!☆19Apr 22, 2026Updated 6 months ago
- Some examples of Lean projects, for undergraduate mathematicians.☆23Jun 7, 2021Updated 5 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆88Oct 17, 2026Updated 2 weeks ago
- ☆26May 13, 2026Updated 5 months ago
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- A formal consistency proof of Quine's set theory New Foundations☆89Oct 23, 2026Updated last week
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆43Apr 8, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The Noperthedron does not have Rupert Property: a proof in Lean4☆22Oct 16, 2026Updated 2 weeks ago
- Automata theory in Lean☆24Mar 25, 2026Updated 7 months ago
- ☆18Updated this week
- Functional Algorithms Design☆19Oct 18, 2026Updated last week
- A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions☆15May 28, 2026Updated 5 months ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 7 months ago
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated 2 months ago