Alternatives and similar repositories for mmgroup:

Users that are interested in mmgroup are comparing it to the libraries listed below

• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆26Updated 3 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• teorth / symmetric_project
  ☆86Updated last year
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆23Updated 3 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆37Updated last week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 3 months ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 4 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 4 years ago
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆94Updated last week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆119Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆143Updated this week
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆187Updated last year
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆41Updated 3 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• b-mehta / unit-fractions
  ☆15Updated last year
• HEPLean / HepLean
  A project to digitalise results from high energy physics into Lean.
  ☆105Updated this week
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• ATOMSLab / LeanChemicalTheories
  ☆29Updated 10 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 6 months ago
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆31Updated last week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆180Updated this week
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated last year
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆42Updated 4 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month