Locator: Require can be combined again

HoTT / Coq-HoTT

A Coq library for Homotopy Type Theory

http://homotopytypetheory.org/

Other

1.25k stars 193 forks source link

Closed Alizter closed 4 months ago

Alizter commented 4 months ago

The issue in https://github.com/HoTT/Coq-HoTT/issues/1336 appears to have disappeared. Not really sure what the issue was but at least it was resolved.

Fix #1336