experiment: run hammers on Mathlib #30809
Closed
Annotations
2 errors
|
Check {Mathlib, Tactic, Counterexamples, Archive}.lean
Process completed with exit code 1.
|
|
validate lake-manifest.json inputRevs
Process completed with exit code 1.
|
Loading