Athena is a modern, practical language for proof engineering & natural deduction.

Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style

A Library for Classical Propositional Logic in Agda

MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)

My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional logic with their proofs written in Coq.

Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking

MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker

Pravda is a tool for teaching formal logic.

A Fitch's style natural deduction proof editor

"Natural" Natural Deduction: a Theorem Prover for Propositional Logic

Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system

Aris: a logic engine/formal proof interface; 2nd generation, successor to the C version of Aris.

This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.

some of the math in computer science

Python module for (i) the representation of typelogical grammar derivations and (ii) their extraction from Lassy and Alpino-style dependency graphs.

A browser based natural deduction game

Parallel Verification of Propositional Natural-Deduction Proof Graphs

A proof checker for natural deduction in predicate logic

An Android app created in 24 hours for ICHACK2020. The app allows students to scan (or import) an image of a handwritten natural deduction proof and will verify its correctness,

🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM