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
  ☆34Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆101Updated 2 months ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆41Updated last year
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 6 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆116Updated last week
• uds-psl / coq-library-complexity
  ☆31Updated last year
• 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
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆22Updated 3 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆40Updated 2 weeks ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆74Updated 7 months ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆59Updated last year
• leanprover / verso
  Lean documentation authoring tool
  ☆152Updated last week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 8 months ago
• rocq-community / hydra-battles
  Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…
  ☆75Updated 3 months ago
• seL4 / isabelle
  git mirror of the Munich isabelle hg repository
  ☆122Updated last week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆66Updated last year
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆254Updated 2 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated last year
• expln / metamath-lamp
  Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…
  ☆16Updated last week
• mikeshulman / basictex
  My basic LaTeX macros and BibTeX file.
  ☆13Updated 2 years ago
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆177Updated 6 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated last week
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆54Updated 10 years ago
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆18Updated 3 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 5 months ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆51Updated last year
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 6 months ago