Peter Selinger's LaTeX macros for Fitch style natural deduction
☆19Dec 17, 2023Updated 2 years ago
Alternatives and similar repositories for fitch
Users that are interested in fitch are comparing it to the libraries listed below
Sorting:
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆58Aug 26, 2025Updated 6 months ago
- Book about using Lean with How To Prove It☆26Dec 20, 2025Updated 2 months ago
- A Markdown version of the free textbook created by Walter Ott☆23Aug 8, 2014Updated 11 years ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 8 months ago
- Free & open source studying tool☆14Feb 20, 2026Updated last week
- Blocks is a plugin for mdbook which preprocesses "Blocks" based markdown into beautiful Bootstrap components.☆11Jun 15, 2024Updated last year
- Resources for Jon and Jennifer's talk on Feminism, Furbies and everything in between☆10Feb 22, 2019Updated 7 years ago
- 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
- Tiny TeX distribution built on Web2C and LuaTeX.☆10Oct 2, 2025Updated 4 months ago
- Git for Philosophers☆35Aug 1, 2023Updated 2 years ago
- ☆16Jun 22, 2022Updated 3 years ago
- ☆11Aug 23, 2023Updated 2 years ago
- Open, hand-typed notes by HKU students, for HKU students.☆18Sep 5, 2025Updated 5 months ago
- Request For Comments de la CPESR : travaux en cours ouverts à la discussion.☆10Jan 20, 2026Updated last month
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Feb 11, 2026Updated 2 weeks ago
- Kiwi monitor is an open source CO2/Humidity/Temperature sensor intended for monitoring the quality of the air in a room. Kiwi was created…☆10Dec 2, 2025Updated 2 months ago
- Vim as an IDE☆10Jul 21, 2024Updated last year
- MDBook preprocessor for converting emojicodes (e.g. `: cat :`) into emojis 🐱☆14Sep 21, 2023Updated 2 years ago
- ☆13Mar 11, 2025Updated 11 months ago
- ☆10Feb 11, 2026Updated 2 weeks ago
- Class materials, homeworks and videos for probation preparation.☆19Feb 3, 2026Updated 3 weeks ago
- zprint in Emacs☆10Jun 13, 2021Updated 4 years ago
- Cross-platform client around AniLibria API☆10Aug 1, 2023Updated 2 years ago
- ☆10Jan 20, 2023Updated 3 years ago
- Battery widget for awesomewm using upower☆10Nov 11, 2017Updated 8 years ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- PRam: simple bash tool to merge pull requests☆12Jan 8, 2026Updated last month
- A mdbook preprocessor that allows the re-usability of template files with dynamic arguments☆14Apr 8, 2024Updated last year
- Implementation of Pie, following The Little Typer☆19Updated this week
- Revision notes for the course HKU COMP2120 - Computer Organisation written in LaTeX.☆12May 22, 2025Updated 9 months ago
- ☆11Mar 20, 2025Updated 11 months ago
- An MCP Server for Cosense☆14Dec 22, 2025Updated 2 months ago
- HKU Moodle client that helps fetch deadlines, set reminders, view courses and so on, renovated and rewritten in Flutter.☆14Feb 8, 2025Updated last year
- ☆14Oct 30, 2024Updated last year
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated last month
- 🧪 Experiments in calling Zig code from MoonBit (via C ABI bridge initially), aiming for direct interop.☆12Apr 7, 2025Updated 10 months ago
- "How To", articles on special subjects, in English or Chinese.☆11May 17, 2022Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago