AutoProof

A work-in-progress propositional logic library.

Name		Name	Last commit message	Last commit date
Latest commit History 120 Commits
.github		.github
app/autoproof		app/autoproof
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
autoproof.cabal		autoproof.cabal
hie.yaml		hie.yaml
package.yaml		package.yaml
stack.yaml		stack.yaml

Provide feedback