search

meta-introspector / UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
http://unimath.org/
Other
0 stars 0 forks source link

Bug/weqdirprodasstor #10

Open jmikedupont2 opened 8 months ago

jmikedupont2 commented 8 months ago

need help File "./UniMath/Foundations/PartA.v", lin\ e 2336, characters 13-29: Error: The reference weqdirprodasstor was\ not found in the current environment.