Switch branches/tags
Nothing to show
Find file History
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
..
Failed to load latest commit information.
POPL2017-artifact-evaluation.html
README
evaluate.v
examples.v
reify.v
semantics.v
syntax.v

README

First run

      coqc syntax.v semantics.v evaluate.v reify.v

in order to compile the modules. Then open examples.v in CoqIDE or
ProofGeneral in order to run/write examples.

[Compiled with The Coq Proof Assistant, version 8.5 (January 2016)]