cur

Cur proof assistant, implemented with Turnstile+ framework.

install instructions

• install Racket 7.4
• clone and install Turnstile+ (popl2020-artifact branch, should also work with master)
• To install Cur: make install (from repo root)
• To check install (run tests): make test (from repo root)
• To remove Cur: make remove (from repo root)

this branch: visual-explorer

• this branch initially created from popl2020-artifact branch
• adds functionality for a visual proof explorer