lylek / proof-verifier Public

Natural deduction proof verifier in Haskell

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 20 Commits
app		app
src		src
test		test
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
package.yaml		package.yaml
stack.yaml		stack.yaml

Repository files navigation

proof-verifier

Natural deduction proof verifier in Haskell

No releases published

No packages published