GitHub - milesrout/minimal-logic: a proof checker and model checker for minimal propositional logic

milesrout / minimal-logic Public

a proof checker and model checker for minimal propositional logic

rout.nz/minimal-logic

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
app		app
src		src
test		test
.gitignore		.gitignore
Setup.hs		Setup.hs
minimal-logic.cabal		minimal-logic.cabal
stack.yaml		stack.yaml

About

a proof checker and model checker for minimal propositional logic

rout.nz/minimal-logic

No releases published

No packages published