We need to formalise all the examples of the paper in Coq.
The following will be a list of examples to be formalised:
- Basic example
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information