natural-deduction topic
List
natural-deduction repositories
athena
63
Stars
4
Forks
Watchers
Athena is a modern, practical language for proof engineering & natural deduction.
nadia
29
Stars
0
Forks
Watchers
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
agda-prop
15
Stars
1
Forks
Watchers
A Library for Classical Propositional Logic in Agda
pmGenerator
23
Stars
3
Forks
23
Watchers
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.