Alternatives and similar repositories for mathsproofbot:

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

• mscroggs / Logic-Bot
  @mathslogicbot
  ☆20Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last month
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last month
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 4 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• MarcdeFalco / MarcdeFalco.github.io
  Updated 2 years ago
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆28Updated last week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated this week
• robbielynch / ibrainfuck
  A brainfuck kernel for IPython/Jupyter.
  ☆28Updated 9 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆43Updated 9 months ago
• uds-psl / coq-library-complexity
  ☆31Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated 2 months ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated 2 weeks ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆64Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• sinhp / ProofLab
  ☆9Updated last year
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated last year
• JacquesCarette / QuantumPi
  Code repository for our work on Quantum Pi
  ☆10Updated 9 months ago