Linear logic theorem prover and proof explorer
TeX Haskell
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
example
report
user-guide
.gitignore
Arbitrary.hs
Bag.hs
LICENSE
Makefile
Parser.hs
Printer.hs
Rewrite.hs
RewriteRules.hs
Setup.hs
Syntax.hs
Test.hs
TestRunner.hs
Util.hs
linear-logic.cabal
linear-logic.hs