Annotations
6 errors
|
|
|
build mathlib:
Mathlib/Tactic/SimpIntro.lean#L24
application type mismatch
|
|
build mathlib:
Mathlib/Tactic/SimpIntro.lean#L39
application type mismatch
|
|
build mathlib:
Mathlib/Tactic/SimpIntro.lean#L68
fields missing: 'simprocs'
|
|
build mathlib:
Mathlib/Util/DischargerAsTactic.lean#L25
typeclass instance problem is stuck, it is often due to metavariables
|
|
build mathlib
The operation was canceled.
|
The logs for this run have expired and are no longer available.
Loading