Skip to content

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

Upgrade to Lean v4.8.0-rc1 and latest mathlib

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

Build

succeeded May 22, 2024 in 1h 1m 49s