Martin-Seysen / mmgroup
Python implementation of the monster group
☆38Updated last week
Related projects ⓘ
Alternatives and complementary repositories for mmgroup
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated last month
- A community database of topological counterexamples☆72Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆24Updated 2 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆154Updated 5 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆43Updated this week
- 💧 Liquid Tensor Experiment☆180Updated 9 months ago
- Formalization of the existence of sphere eversions☆36Updated last month
- ☆84Updated 11 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆50Updated last year
- Metamath verifier in Python☆34Updated 6 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- Deposited packages of the homalg project☆12Updated last month
- Matroids in Lean☆19Updated 10 months ago
- some maths papers in English☆17Updated 3 weeks ago
- Lean-independent implementation of the MM-Lean link☆27Updated last year
- An introduction to theorem proving in Lean for the impatient.☆106Updated this week
- Schemes in Lean (v2)☆42Updated 4 years ago
- ☆21Updated 2 years ago
- A project to digitalise results from high energy physics into Lean.☆66Updated this week
- TikZ/PGF package for drawing tilings, such as penrose and polykite tilings☆16Updated last year
- Formalized quantum computing in Lean theorem prover☆21Updated 3 years ago
- A simple raytracer written in Lean 4☆123Updated 5 months ago
- Perfectoid spaces in the Lean formal theorem prover.☆115Updated 4 months ago
- ☆27Updated 7 months ago
- Lean for the Curious Mathematician 2020☆63Updated last year
- Effective Algebraic Topology in Haskell☆85Updated last month
- Very controlled natural language tactics for Lean☆61Updated 9 months ago