PyRank

Natural Deduction Python Packages

Python packages with the GitHub topic natural-deduction. Sorted by monthly downloads, with stars and forks.
daniyal1249
nd-prover

Natural deduction proof generator & checker

231 6 1
daviromero
nadia-proof

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

103 33 3