kckennylau / local-langlands-abelianView external linksLinks
Formalization of Statement of Local Langlands Correspondence for Tori
☆12Dec 18, 2018Updated 7 years ago
Alternatives and similar repositories for local-langlands-abelian
Users that are interested in local-langlands-abelian are comparing it to the libraries listed below
Sorting:
- ☆11Oct 31, 2021Updated 4 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- Fully connected neural nets for supervised learning DQMC data☆12Jul 13, 2016Updated 9 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 1, 2026Updated 2 weeks ago
- ☆16Dec 3, 2023Updated 2 years ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆41Sep 22, 2025Updated 4 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated last month
- All the math/tex files for the Automorphic Project☆19Updated this week
- Schemes in Lean (v2)☆43Jul 30, 2020Updated 5 years ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated 3 weeks ago
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆29Jan 28, 2020Updated 6 years ago
- Fermat's Last Theorem for regular primes☆61Feb 6, 2026Updated last week
- Lean mathzoo☆24Mar 23, 2022Updated 3 years ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆29Jun 27, 2024Updated last year
- A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and …☆30Apr 3, 2024Updated last year
- A formalization of the Rubik's cube group☆28Oct 1, 2020Updated 5 years ago
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆32Aug 11, 2025Updated 6 months ago
- ChatGPT Participates in a Computer Science Exam (2023)☆31Mar 21, 2023Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆33Jan 13, 2024Updated 2 years ago
- Lean for the Curious Mathematician 2020☆68Oct 24, 2023Updated 2 years ago
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆88Feb 5, 2026Updated last week
- You should use PySR to find scaling laws. Here's an example.☆33Sep 30, 2023Updated 2 years ago
- A plugin for Strawberry Fields and OpenFermion, providing methods of simulating bosonic Hamiltonians directly in Strawberry Fields☆32Jul 6, 2023Updated 2 years ago
- Development tools for https://github.com/leanprover-community/mathlib☆34Aug 29, 2023Updated 2 years ago
- The root repository for the SpectralSequences project.☆32Dec 26, 2025Updated last month
- Neural Error Mitigation of Near-Term Quantum Simulations (arXiv:2105.08086)☆10Jul 6, 2022Updated 3 years ago
- ☆11Feb 18, 2024Updated 2 years ago
- Here, I provided the solution for exercises of IBM Quantum Challenge 2020☆10Oct 27, 2020Updated 5 years ago
- Material associated with Physics Report "Data science applications to string theory"☆11Jun 20, 2023Updated 2 years ago
- Formalization of the existence of sphere eversions☆46Jan 24, 2026Updated 3 weeks ago
- Proof in Lean of Fermat Last Theorem for exponent 3☆40Jun 25, 2024Updated last year
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- Canonical normalizing flows☆10Apr 30, 2019Updated 6 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆20Dec 30, 2025Updated last month
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆10Jul 22, 2024Updated last year