Skip to content

fix: fix capitalization of module names #7

fix: fix capitalization of module names

fix: fix capitalization of module names #7

Annotations

2 errors

Build and test (leanprover/lean4:4.4.0)

failed Mar 4, 2024 in 11s