Add stable category theory formalization #2288
Open
Annotations
1 error and 1 warning
|
Build HoTT:
theories/Categories/Stable/ZeroMorphismLemmas.v#L9
Required library ZeroObjects matches several files in path (found
|
|
Build HoTT:
test/Tactics/napply.v#L16
Could not enable unknown warning
|
Loading