GitHub - ltics/tppa: a tiny LCF-style proof assistant.

ltics / tppa Public

a tiny LCF-style proof assistant.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
app		app
src		src
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
stack.yaml		stack.yaml
tppa.cabal		tppa.cabal

Repository files navigation

a tiny LCF-style proof assistant.

No releases published

No packages published