Alternatives and similar repositories for fitch-checker:

Users that are interested in fitch-checker are comparing it to the libraries listed below

• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆74Updated 6 months ago
• coq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆59Updated last year
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆121Updated this week
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆38Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆58Updated 4 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆60Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆83Updated 7 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆76Updated 3 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated last month
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated last month
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 4 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated 3 weeks ago
• uds-psl / coq-library-complexity
  ☆31Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆122Updated 6 months ago
• coq-community / hydra-battles
  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…
  ☆74Updated last month
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆50Updated last year
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆46Updated this week
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 5 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆250Updated 3 weeks ago
• coq-community / docker-coq
  Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainers=@erikmd,@himito]
  ☆37Updated last month
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆115Updated 3 weeks ago
• sneeuwballen / zipperposition
  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…
  ☆139Updated 5 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 3 weeks ago