Formalization of de Rham cohomologies of a smooth manifold
☆11Jun 4, 2025Updated last year
Alternatives and similar repositories for DeRhamCohomology
Users that are interested in DeRhamCohomology are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ASCI Summer Research Lean☆11Updated this week
- Duality theory in linear optimization and its extensions☆12Feb 26, 2026Updated 7 months ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆12May 1, 2026Updated 5 months ago
- The sublibrary of Mathlib dedicated to additive combinatorics☆19Updated this week
- ☆12Feb 17, 2025Updated last year
- 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.
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆29Updated this week
- Mozi Lean Copilot VS Code Extension☆12Jan 7, 2026Updated 9 months ago
- ☆17Updated this week
- Formalization of the existence of sphere eversions☆49Updated this week
- Formal Lean proof of OpenAI's 2026 counterexample to the Erdős unit distance conjecture☆22Jun 27, 2026Updated 3 months ago
- Lecture notes and exercises for the 2025 Simons Foundation workshop "Lean for Mathematicians"☆11Aug 11, 2025Updated last year
- Lennard Jones in Lean☆24Jul 14, 2025Updated last year
- ☆20Jan 22, 2026Updated 9 months ago
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Sep 1, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated 2 months ago
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated last month
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- ☆83Jun 12, 2026Updated 4 months ago
- ☆26May 13, 2026Updated 5 months ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 10 months ago
- MA4N1 Theorem Proving with Lean☆20Oct 5, 2026Updated 2 weeks ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated last week
- 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.
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- ReasBook main branch mirror for self-hosted CI☆65Updated this week
- Comparator-based Lean formal mathematics eval☆49Updated this week
- A Rust adapter for the Janus WebRTC server 🦀☆13Sep 25, 2026Updated 3 weeks ago
- Bonn Lean course for winter 24/25☆45Jul 1, 2026Updated 3 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆49Aug 27, 2026Updated last month
- Lean formalization of bounded gaps between primes☆45Aug 18, 2026Updated 2 months ago
- computable implementation of real numbers in Lean4☆54Jul 6, 2025Updated last year
- ☆21May 5, 2026Updated 5 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.
- ☆21Mar 4, 2026Updated 7 months ago
- A Lean 4 library for formal linguistics.☆28Updated this week
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆63Feb 23, 2026Updated 8 months ago
- A formalization of the Rubik's cube group☆29Oct 1, 2020Updated 6 years ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆73Apr 7, 2026Updated 6 months ago
- Conference on Homotopy Type Theory 2019☆16Sep 18, 2019Updated 7 years ago
- A Lean4 Formalization of Polynomial Functors☆31Jul 10, 2026Updated 3 months ago