PyRank

Natural Deduction Python Packages

Python packages with the GitHub topic natural-deduction. Sorted by relevance, with stars and monthly downloads.
daviromero
nadia-proof

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

219 32 3
daniyal1249
nd-prover

Natural deduction proof generator & checker

202 2 1