search

vafeiadis / hahn

Hahn: A Coq library
MIT License
29 stars 15 forks source link

OPAM support #7

Closed anlun closed 6 years ago

anlun commented 6 years ago
  1. Added OPAM related files (opam and descr).
  2. Switched logical directory to hahn instead of Top.
  3. autounfold -> repeat autounfold in some places as a workaround for https://github.com/coq/coq/issues/8390.