Skip to content

fix: invoke elan explicitly #62

fix: invoke elan explicitly

fix: invoke elan explicitly #62

Annotations

2 errors

Build and test (leanprover/lean4:nightly-2024-04-07)

failed Apr 17, 2024 in 46s