There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Tool to help practising proofing formulas using natural deduction. The tool is able to automatically apply valid logical rules to given statements and yield further logically sound arguments.
