Skip to content

chore: update to lean 4.9.0-rc2 #111

chore: update to lean 4.9.0-rc2

chore: update to lean 4.9.0-rc2 #111

Annotations

1 error and 1 warning

tools, scaling, and auto-generated stmts

failed May 22, 2024 in 4m 38s