nd-prover

PyPI page
Home page
Author: None
License: MIT
Summary: Natural deduction proof generator & checker
Latest version: 2.0.0


Downloads last day: 2
Downloads last week: 11
Downloads last month: 36