Formalise examples
We need to formalise all the examples of the paper in Coq.
The following will be a list of examples to be formalised:
-
Introduction -
Basic example -
...
-
-
Tour -
...
-
-
Logical Relations -
...
-
We need to formalise all the examples of the paper in Coq.
The following will be a list of examples to be formalised: