☆135Jul 9, 2026Updated 3 months ago
Alternatives and similar repositories for cdc-lean
Users that are interested in cdc-lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆32Aug 13, 2026Updated 2 months ago
- Comparator-based Lean formal mathematics eval☆50Updated this week
- Focused research repository on Grothendieck rank-p^2 finite flat group-scheme conjecture☆14Aug 4, 2026Updated 3 months ago
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- ASCI Summer Research Lean☆10Oct 29, 2026Updated last 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.
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- ☆19Oct 28, 2026Updated last week
- A general geometry library in LEAN 4.☆83Oct 10, 2026Updated 3 weeks ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- A Lean formalization of a bound concerning long gaps between primes☆46Sep 3, 2026Updated 2 months ago
- Some Lean proofs☆47Sep 15, 2026Updated last month
- SageMath integration for Lean4☆15Oct 9, 2026Updated 3 weeks ago
- ☆247Oct 14, 2026Updated 3 weeks ago
- In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”☆19Jul 20, 2026Updated 3 months ago
- 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.
- Construction of a Brownian Motion in Lean☆66Updated this week
- Tools for writing good AI generated papers☆18Oct 24, 2026Updated last week
- Lean 4 formalization of Rubik's cubes☆36Feb 17, 2025Updated last year
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆270Updated this week
- Lean formalization of CFSG☆20Oct 28, 2026Updated last week
- 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
- https://1000-plus.github.io/☆26Jul 22, 2026Updated 3 months ago
- ☆464Updated this week
- Lean 4 library and knowledge base for computational economics☆42Oct 14, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆28Updated this week
- A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]☆26May 28, 2026Updated 5 months ago
- ☆147Updated this week
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- ☆27Apr 16, 2026Updated 6 months ago
- SampCert : Verified Differential Privacy☆107Sep 25, 2026Updated last month
- ☆20Jan 22, 2026Updated 9 months ago
- Formalization of Iwasawa Theory in LꓱꓯN (tentative)☆12Jul 30, 2026Updated 3 months ago
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆101Oct 13, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆87Aug 30, 2026Updated 2 months ago
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆14Oct 5, 2026Updated last month
- ☆10Sep 18, 2025Updated last year
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆43Apr 8, 2026Updated 6 months ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆28Jul 27, 2026Updated 3 months ago
- ☆267Sep 8, 2026Updated last month
- ☆33Sep 9, 2026Updated last month