Skip to content

Bump to Lean v4.6.0-rc1 and add tests for #31 (#32) #189

Bump to Lean v4.6.0-rc1 and add tests for #31 (#32)

Bump to Lean v4.6.0-rc1 and add tests for #31 (#32) #189