No description, website, or topics provided.
Racket Coq
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
rooms
.DS_Store
.gitignore
Makefile
README.md
basic.rkt
basic.v
basic_pr.v
haha
haha.v
linearLogic.ml.in
ll-rule.tex
paperOnThmProver.aux
paperOnThmProver.log
paperOnThmProver.pdf
paperOnThmProver.synctex.gz
paperOnThmProver.tex
practice
roomer-ll.rkt
roomer.rkt
rooms.rkt
rooms.rktd
small.rktd

README.md

linear-logic