Skip to content

Update to Lean 4.8.0 #7

Update to Lean 4.8.0

Update to Lean 4.8.0 #7

Annotations

1 warning

Build

succeeded Aug 16, 2024 in 1m 31s