Skip to content

Link to the academical papers in the README

Other verification tool chooses to put links to academical papers that present it in its README. Perhaps you can do the same thing (at first I searched in google and google scholar Michocoq instead of Mi-cho-coq).

Best

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information