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 2 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 4 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 5 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆57Updated last month
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• chakravala / Dendriform.jl
  Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees
  ☆16Updated 5 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆38Updated 7 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated 5 months ago
• isadofschi / combinatorial_nullstellensatz
  A Lean formal proof of the Combinatorial Nullstellensatz
  ☆11Updated 2 years ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated last year
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago
• sinhp / ProofLab
  ☆9Updated last year
• TotalVerb / SExpressions.jl
  Assorted s-expression utilities for Julia
  ☆16Updated last year
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated last week
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• rocq-community / gaia
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆30Updated last week
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• uds-psl / coq-library-complexity
  ☆31Updated last year
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• iblech / mathe-notizen
  Random notes on mathematics (in German)
  ☆11Updated last month
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆30Updated 3 weeks ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year