OpenLogicProject / fitchLinks
Peter Selinger's LaTeX macros for Fitch style natural deduction
☆14Updated last year
Alternatives and similar repositories for fitch
Users that are interested in fitch are comparing it to the libraries listed below
Sorting:
- Typst Package to typeset inference rule☆36Updated 3 months ago
- Book about using Lean with How To Prove It☆19Updated 2 weeks ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated last month
- Coq code formatter☆24Updated 3 weeks ago
- Mirror of ocaml-forester☆45Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆36Updated last week
- Lean 4 library for pretty printing expressions as LaTeX☆25Updated 4 months ago
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Clone of isabelle, with LSP extensions in seperate branches☆28Updated this week
- Interactive holes for Lean 4☆22Updated last year
- Type-driven syntactic and semantic effectful parsing for NL☆15Updated last month
- A digital archive of category theory papers.☆30Updated last year
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆25Updated 6 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆60Updated 2 weeks ago
- Formalization of Mathematical Logic☆138Updated this week
- Agda as a collaborative multiplayer game☆37Updated 9 months ago
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆178Updated this week
- ☆25Updated 6 months ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆41Updated this week
- Chess in Lean 4☆19Updated 6 months ago
- Programming Language Foundations in Lean☆39Updated 3 months ago
- Distributions of Agda executable compiled into WebAssembly.☆18Updated 4 months ago
- Verified decision procedures for modal logics in Lean☆12Updated 5 years ago
- Logic and Mechanized Reasoning☆105Updated 5 months ago
- 《The HoTT Book》 中文翻译☆7Updated 6 months ago
- A Typst-friendly static Zettelkästen site generator.☆92Updated this week
- Commutative diagrams with TikZ☆54Updated 2 years ago
- LaTeX code for a paper on lean's type theory☆139Updated 2 years ago
- A semantic Extension of TeX/LaTeX☆53Updated 2 weeks ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated 5 months ago