Test-Command: coqtop -batch -type-in-type -rifrom UniMath All
Restrictions: allow-stderr
Depends: coq, @
