Martin-Seysen / mmgroupLinks
Python implementation of the monster group
☆55Updated last week
Alternatives and similar repositories for mmgroup
Users that are interested in mmgroup are comparing it to the libraries listed below
Sorting:
- Quantomatic is a tool for doing automated graph rewriting.☆166Updated 6 years ago
- A software package for analyzing Calabi-Yau manifolds.☆38Updated this week
- Formalizing results about the Mandelbrot set in Lean☆27Updated this week
- Formalized quantum computing in Lean theorem prover☆34Updated 4 years ago
- 💧 Liquid Tensor Experiment☆212Updated last year
- ☆93Updated 2 years ago
- Quantum information theory in Lean 4☆83Updated last week
- An interactive theorem prover for string diagrams☆123Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆127Updated last year
- ☆37Updated last year
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated 4 months ago
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- A Lean file formatter☆69Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆54Updated 2 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- tool for turning Lean proofs into Blender animations☆78Updated last week
- Metamath verifier in Python☆40Updated 6 months ago
- A quantum circuit language and formal verification tool☆106Updated 6 months ago
- Conservative floating point interval arithmetic in Lean☆23Updated 2 weeks ago
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆198Updated last week
- Source of metamath book☆51Updated last year
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- A Small Quantum Intermediate Representation☆88Updated 4 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 2 weeks ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- metamath proof enumerators and other things☆92Updated 3 weeks ago
- plasTeX plugin to build formalization blueprints.☆266Updated last week
- A formalized proof of Carleson's theorem in Lean☆79Updated 2 weeks ago
- Scientific computing in Lean 4☆439Updated 6 months ago