Alternatives and similar repositories for fitch-checker

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

• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆61Updated 2 months ago
• metamath / metamath-book
  Source of metamath book
  ☆55Updated 2 years ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆24Updated 7 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• eprover / eprover
  ☆163Updated 2 weeks ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆91Updated 2 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆79Updated 7 months ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated 2 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated last year
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 3 years ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆115Updated 3 weeks ago
• wo / tpg
  Tree Proof Generator
  ☆177Updated 3 weeks ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆41Updated 7 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆37Updated 3 months ago
• catseye / ALPACA
  MIRROR of https://codeberg.org/catseye/ALPACA : A Language for the Pithy Articulation of Cellular Automata
  ☆23Updated 2 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆33Updated 7 years ago
• rocq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆47Updated 9 months ago
• padsproj / pads
  Pads format description language
  ☆21Updated 10 years ago
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆22Updated last year
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆57Updated 4 years ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆67Updated 8 years ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆131Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆42Updated 9 months ago
• pi-base / data
  A community database of topological counterexamples
  ☆134Updated last week