A classification theorem in Lean of solvable Lie algebras of dimension zero to three
☆11May 18, 2025Updated last year
Alternatives and similar repositories for LowDimSolvClassification
Users that are interested in LowDimSolvClassification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proétale cohomology in Lean☆17Sep 29, 2026Updated 3 weeks ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- ☆18Oct 12, 2026Updated 2 weeks ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated 2 months ago
- A Lean 4 formalization of the Gaussian Free Field in d=4 and proof of the Osterwalder-Schrader axioms☆27Aug 31, 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.
- LLM-driven proof search on Erdős problems (2 solutions accepted on erdosproblems.com)☆17Apr 21, 2026Updated 6 months ago
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Oct 15, 2026Updated last week
- NeqLIPS: a powerful Olympiad-level inequality prover☆42Sep 7, 2025Updated last year
- Formalization of the Millennium Problems in Lean 4☆71Sep 14, 2026Updated last month
- Learn Lean and topology☆28Apr 28, 2023Updated 3 years ago
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆47Sep 11, 2026Updated last month
- ☆38Jul 3, 2026Updated 3 months ago
- 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.
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- ☆62Dec 1, 2025Updated 10 months ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- Tools for writing good AI generated papers☆15Sep 2, 2026Updated last month
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆15Oct 13, 2026Updated last week
- OpenClaw-style theorem proving☆29Aug 21, 2026Updated 2 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆17Oct 11, 2026Updated 2 weeks ago
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated 2 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.
- General neural tactic for Lean 4☆48Oct 14, 2026Updated last week
- A minimal language for Isabelle/HOL, designed for easing machine learning.☆32Oct 4, 2026Updated 3 weeks ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆59Oct 25, 2023Updated 3 years ago
- ASCI Summer Research Lean☆11Oct 17, 2026Updated last week
- Information theory and hypothesis testing, in Lean☆17Oct 13, 2026Updated last week
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆24Jul 27, 2026Updated 2 months ago
- [ICML'26 Spotlight] Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving☆31Jun 29, 2026Updated 3 months ago
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 7 months ago
- Implementations of methods proposed in the paper "Conformal Prediction Sets for Graph Neural Networks"☆15Jun 19, 2023Updated 3 years 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.
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Oct 11, 2026Updated 2 weeks ago
- Coinductive Interaction Trees in Lean4 using QPFs☆20Oct 18, 2026Updated last week
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆139Oct 12, 2026Updated 2 weeks ago
- ☆140Updated this week
- Lean formalizations of IMO problem statements☆36Apr 23, 2026Updated 6 months ago
- Lean 4 formalization of De Giorgi-Nash-Moser theory☆43Apr 8, 2026Updated 6 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆40Dec 12, 2022Updated 3 years ago