Alternatives and similar repositories for Logic-Bot

Users that are interested in Logic-Bot are comparing it to the libraries listed below

• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆11Updated 3 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆25Updated 3 years ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated this week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• ImperialCollegeLondon / M1P1-lean
  Material from M1P1, formalised in Lean
  ☆15Updated 5 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 2 weeks ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• kex-y / M4000x_LEAN_formalisation
  Formalising lecture notes from 1st year Imperial Mathematics course.
  ☆12Updated 5 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 4 years ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 7 months ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆28Updated this week
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆35Updated 2 years ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated this week
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆43Updated 2 weeks ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• djvelleman / HTPILeanPackage
  ☆31Updated 2 weeks ago
• sinhp / ProofLab
  ☆9Updated 2 years ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated last year