Alternatives and similar repositories for fitch

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

• pauladam94 / curryst
  Typst Package to typeset inference rule
  ☆56Updated last month
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆25Updated last month
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆68Updated this week
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆40Updated last year
• rocq-community / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
  ☆196Updated this week
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated 2 weeks ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆91Updated 8 months ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆48Updated 6 months ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆71Updated 3 years ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆38Updated last week
• kokic / UniTeX
  A transpiler that converts TeX into Unicode (as possible).
  ☆20Updated last week
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆115Updated 3 weeks ago
• uds-psl / MPCTT
  Modeling and Proving in Computational Type Theory
  ☆120Updated 6 months ago
• neunenak / typst-leipzig-glossing
  ☆14Updated 5 months ago
• kokic / kodama
  A Typst-friendly static Zettelkästen site generator.
  ☆168Updated last week
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• ammkrn / type_checking_in_lean4
  Type Checking in Lean 4
  ☆34Updated 2 months ago
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆49Updated last year
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆58Updated 5 months ago
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆22Updated last year
• 34j / best-of-lean4
  A list of awesome lean4 projects. Feel free to add your project.
  ☆117Updated last week
• kmill / LeanTeX
  Lean 4 library for pretty printing expressions as LaTeX
  ☆33Updated 11 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆284Updated 4 months ago
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆50Updated this week
• leanprover / verso
  Lean documentation authoring tool
  ☆252Updated this week
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆41Updated 3 months ago
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆63Updated last year
• m4lvin / lean4-pdl
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆14Updated 3 weeks ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆185Updated this week
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆14Updated last year