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
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Fully connected neural nets for supervised learning DQMC data☆12Jul 13, 2016Updated 9 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated 2 weeks ago
- ☆17Dec 3, 2023Updated 2 years ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆42Feb 23, 2026Updated 2 weeks ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 3 weeks ago
- Schemes in Lean (v2)☆43Jul 30, 2020Updated 5 years ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated last month
- 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☆61Mar 2, 2026Updated last week
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆29Jun 27, 2024Updated last year
- Lean mathzoo☆24Mar 23, 2022Updated 3 years ago
- 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
- ChatGPT Participates in a Computer Science Exam (2023)☆31Mar 21, 2023Updated 2 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
- 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.☆91Mar 1, 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☆33Aug 29, 2023Updated 2 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- Material associated with Physics Report "Data science applications to string theory"☆11Jun 20, 2023Updated 2 years ago
- Neural Error Mitigation of Near-Term Quantum Simulations (arXiv:2105.08086)☆10Jul 6, 2022Updated 3 years ago
- The root repository for the SpectralSequences project.☆31Feb 28, 2026Updated last week
- Here, I provided the solution for exercises of IBM Quantum Challenge 2020☆10Oct 27, 2020Updated 5 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- Proof in Lean of Fermat Last Theorem for exponent 3☆41Jun 25, 2024Updated last year
- Formalization of the existence of sphere eversions☆47Feb 18, 2026Updated 2 weeks ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 4 years ago
- Material for the course Theories of Quantum Matter at the University of Cambridge☆11Jan 20, 2023Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- angle-sequence☆12Apr 3, 2020Updated 5 years ago
- ☆11Sep 15, 2025Updated 5 months ago