Defined Bicategory #3582
Annotations
1 error and 9 warnings
|
Build HoTT:
theories/WildCat/Paths.v#L75
Illegal application (Non-functional construction):
|
|
Build HoTT:
theories/WildCat/Paths.v#L72
Tactic Notation snrapply (uconstr) is deprecated since 2025-03-11.
|
|
Build HoTT:
theories/WildCat/Universe.v#L165
Tactic Notation snrapply (uconstr) is deprecated since 2025-03-11.
|
|
Build HoTT:
theories/WildCat/Universe.v#L172
Tactic Notation snrapply (uconstr) is deprecated since 2025-03-11.
|
|
Build HoTT:
theories/WildCat/Universe.v#L172
Tactic Notation snrapply (uconstr) is deprecated since 2025-03-11.
|
|
Build HoTT:
theories/WildCat/Universe.v#L175
Tactic Notation snrapply (uconstr) is deprecated since 2025-03-11.
|
|
Build HoTT:
theories/WildCat/Universe.v#L186
Tactic Notation snrapply (uconstr) is deprecated since 2025-03-11.
|
|
Build HoTT:
theories/WildCat/Universe.v#L190
Tactic Notation snrapply (uconstr) is deprecated since 2025-03-11.
|
|
Build HoTT:
test/Tactics/napply.v#L16
Tactic Notation nrapply (uconstr) is deprecated since 2025-03-11.
|
|
Build HoTT:
test/Tactics/napply.v#L17
Tactic Notation snrapply (uconstr) is deprecated since 2025-03-11.
|
Loading