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 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆65Updated 2 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆41Updated 11 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 3 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 4 years ago
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• gap-packages / JupyterKernel
  Native Jupyter kernel for GAP
  ☆19Updated 2 months ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 11 months ago
• ImperialCollegeLondon / M1P1-lean
  Material from M1P1, formalised in Lean
  ☆15Updated 5 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆34Updated 2 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• byorgey / series-formelles
  Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…
  ☆29Updated 7 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆63Updated last year
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆38Updated this week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆30Updated 9 months ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆45Updated this week
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆22Updated 3 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year