nd-prover

PyPI page
Home page
Author: Daniyal Akif
Summary: Natural deduction proof generator & checker
Latest version: 3.1.0
Required dependencies: cvc5

Downloads last day: 0
Downloads last week: 20
Downloads last month: 50
7-day smoothing