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
  ☆47Updated last week
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆24Updated 2 weeks ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆68Updated this week
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated this week
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆22Updated last year
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆48Updated last year
• 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 this week
• minchaowu / ModalTab
  Verified decision procedures for modal logics in Lean
  ☆12Updated 5 years ago
• plfa / plfl
  Programming Language Foundations in Lean
  ☆47Updated 4 months ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated last year
• agda-web / agda-wasm-dist
  Distributions of Agda executable compiled into WebAssembly.
  ☆24Updated last month
• kokic / kodama
  A Typst-friendly static Zettelkästen site generator.
  ☆153Updated last week
• SkiFire13 / typst-prooftree
  Prooftrees for Typst - Inspired by Latex's bussproofs
  ☆20Updated last year
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆18Updated last year
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 6 months ago
• Trebor-Huang / HomotopyHistory
  ☆22Updated last year
• KonjacSource / ShiTT
  Deprecated
  ☆38Updated last month
• Zeta611 / simplebnf.typ
  A simple package to format Backus-Naur form
  ☆14Updated last year
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆40Updated last month
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆36Updated 2 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• ammkrn / type_checking_in_lean4
  Type Checking in Lean 4
  ☆33Updated last month
• lynn / typst-syntree
  Syntax trees for typst
  ☆43Updated 2 months ago
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆48Updated last week
• dark-flames / apollo-typst
  Typst blog template based on Zola, typst.ts, and apollo.
  ☆39Updated 6 months ago
• leanprover / functional_programming_in_lean
  A book about functional programming in Lean
  ☆45Updated last year
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆114Updated last month
• jgm / commonmark-hs
  Pure Haskell commonmark parsing library, designed to be flexible and extensible
  ☆141Updated 9 months ago
• phijor / agda-mode-ng
  Let's rethink how we interact with Agda
  ☆18Updated 3 years ago
• gelisam / typechecker-combinators
  ☆17Updated last year