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 2 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 weeks ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated last week
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆28Updated 3 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• iblech / mathe-notizen
  Random notes on mathematics (in German)
  ☆11Updated 5 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated 2 weeks ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated last week
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆43Updated 8 months ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• cmu-phil / Spectral
  ☆46Updated last year
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• chakravala / Dendriform.jl
  Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees
  ☆16Updated 5 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated last year
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• OCamlPro / optal
  A new language for optimization
  ☆13Updated 3 years ago
• coq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆22Updated last month
• sinhp / ProofLab
  ☆9Updated last year
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated last year
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 4 months ago