Skip to content

Resolve "Add coq package"

André Romão requested to merge 73-add-coq-package into master

Description of changes

installs coq package

Things done

  • Tested
  • Updated documentation (Wiki/NetBox)
  • Breaking change

Closes #73 (closed)

Merge request reports