Skip to content

fix: remove obsolete syntax workaround and fix proof states #250

fix: remove obsolete syntax workaround and fix proof states

fix: remove obsolete syntax workaround and fix proof states #250

Annotations

1 warning

check-lean-files

succeeded Dec 18, 2024 in 3s