Martin-Seysen / mmgroupLinks
Python implementation of the monster group
☆48Updated 3 weeks ago
Alternatives and similar repositories for mmgroup
Users that are interested in mmgroup are comparing it to the libraries listed below
Sorting:
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆29Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- An interactive theorem prover for string diagrams☆118Updated 8 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆124Updated 11 months ago
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago
- ☆91Updated last year
- 💧 Liquid Tensor Experiment☆201Updated last year
- Conservative floating point interval arithmetic in Lean☆17Updated this week
- ☆15Updated last year
- All the math/tex files for the Automorphic Project☆19Updated last year
- Code samples for Lean 4☆75Updated last year
- A formal proof of the independence of the continuum hypothesis☆127Updated 10 months ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- Tag-based webview of LaTeX documents☆30Updated last year
- Effective Algebraic Topology in Haskell☆91Updated 9 months ago
- ☆34Updated last year
- Schemes in Lean (v2)☆43Updated 4 years ago
- A formalized proof of Carleson's theorem in Lean☆58Updated this week
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- A simple raytracer written in Lean 4☆139Updated last year
- A software package for analyzing Calabi-Yau manifolds.☆35Updated last week
- Quantum information theory in Lean 4☆21Updated last week
- Exponent pair database☆57Updated last week
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last week
- metamath proof enumerators and other things☆94Updated 11 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- Formalizing "Proofs from THE BOOK"☆61Updated 6 months ago