Skip to content

Upgrade to Lean v4.8.0-rc1 and latest mathlib #62

Upgrade to Lean v4.8.0-rc1 and latest mathlib

Upgrade to Lean v4.8.0-rc1 and latest mathlib #62

Build

succeeded May 22, 2024 in 1h 2m 19s