verifynd

This is a tool for verifying proofs in natural deduction.

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
src		src
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
example.png		example.png
rules.vnd		rules.vnd

Provide feedback