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
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago
• gap-packages / JupyterKernel
  Native Jupyter kernel for GAP
  ☆19Updated 2 weeks ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last month
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 4 months ago
• ImperialCollegeLondon / M1P1-lean
  Material from M1P1, formalised in Lean
  ☆15Updated 5 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆30Updated 11 months ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated last year
• robbielynch / ibrainfuck
  A brainfuck kernel for IPython/Jupyter.
  ☆28Updated 9 years ago
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• quantum-journal / o3po
  O-3PO - Open-source Open-access Overlay Publishing Option
  ☆10Updated 2 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆15Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆36Updated 2 years ago
• peterlefanulumsdaine / Oberwolfach-explorations
  collaboration on work in progress
  ☆15Updated 14 years ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago