nd-prover

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


Downloads last day: 0
Downloads last week: 1
Downloads last month: 25