Lean certificates accompanying Navier-Stokes and Euler results
☆2,126Sep 10, 2026Updated last month
Alternatives and similar repositories for NavierStokesAndEuler
Users that are interested in NavierStokesAndEuler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆267Sep 8, 2026Updated 2 months ago
- ☆17,421Oct 30, 2026Updated last week
- ☆1,298Sep 24, 2026Updated last month
- Lean certificates accompanying ten proofs in mathematics and theoretical computer science☆217Aug 5, 2026Updated 3 months ago
- Conditional Lean formalization and numerical certificate for prime gaps at most 186.☆170Sep 2, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆466Nov 1, 2026Updated last week
- ☆33Sep 9, 2026Updated last month
- ☆247Oct 14, 2026Updated 3 weeks ago
- A collection of formalized statements of conjectures in Lean.☆1,353Updated this week
- ☆37Sep 8, 2026Updated 2 months ago
- A Lean formalization of a bound concerning long gaps between primes☆46Sep 3, 2026Updated 2 months ago
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆272Updated this week
- A Lean formalization of the Classification of Finite Simple Groups☆163Oct 27, 2026Updated last week
- An external lean checker with a proof of consistency☆146Updated 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.
- A rust port of con-leche☆34Oct 31, 2026Updated last week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆1,056Oct 24, 2026Updated 2 weeks ago
- ☆19Oct 28, 2026Updated last week
- The math library of Lean 4☆4,443Updated this week
- Lean 4 programming language and theorem prover☆9,905Updated this week
- 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
- A community database for the problems on the erdosproblems.com site☆881Updated this week
- A general geometry library in LEAN 4.☆83Oct 10, 2026Updated 3 weeks ago
- Some Lean proofs☆47Sep 15, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A project to digitalise results from physics into Lean.☆825Updated this week
- ☆104Jul 17, 2026Updated 3 months ago
- ☆27Apr 16, 2026Updated 6 months ago
- ☆136Jul 9, 2026Updated 3 months ago
- Formalisation of statements of recent theorems from the Annals of Mathematics.☆32Aug 13, 2026Updated 2 months ago
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆21Jun 27, 2026Updated 4 months ago
- Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 …☆318Updated this week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆225Oct 29, 2026Updated last week
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆47Sep 11, 2026Updated last month
- 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.
- ☆15Mar 25, 2026Updated 7 months ago
- ☆38Jul 3, 2026Updated 4 months ago
- 💧 Liquid Tensor Experiment☆256Oct 2, 2026Updated last month
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆49Aug 27, 2026Updated 2 months ago
- Lean formalization of the smooth and topological Poincare conjectures following Morgan and Tian.☆14Oct 5, 2026Updated last month
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆74Apr 7, 2026Updated 7 months ago