TypeTheory icon indicating copy to clipboard operation
TypeTheory copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Improve compilation instructions in README

Open benediktahrens opened this issue 7 years ago • 0 comments

explain that

  • location of Coq binaries needs to be given manually (by PATH or locally)
  • UniMath files are found automatically after make install if using the right Coq binaries

benediktahrens avatar Mar 11 '17 05:03 benediktahrens