coq icon indicating copy to clipboard operation
coq copied to clipboard

Published 20 hours ago • verified publisher icon HoTT

Anomaly: Evar was not declared. Please report

Open jcmckeown opened this issue 11 years ago • 1 comments

Example file in this repo.

jcmckeown avatar Jun 23 '13 04:06 jcmckeown

Fixed in trunk-polyproj (but not in HoTT/coq trunk), so I think we (@jcmckeown or @mattam82) should close this bug.

JasonGross avatar Apr 08 '14 03:04 JasonGross