PyRank

Natural Deduction Python Packages

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

Natural deduction proof generator & checker

256 4 1
daviromero
nadia-proof

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

224 32 3