And more #60519
Annotations
2 errors
|
lint mathlib:
Mathlib/Data/List/Basic.lean#L604
List.reverse_eq_nil.{u} simp can prove this:
|
|
lint mathlib
The process '/usr/bin/env' failed with exit code 1
|
The logs for this run have expired and are no longer available.
Loading