Skip to content

update to Lean 4.16 #1284

update to Lean 4.16

update to Lean 4.16 #1284

Build and test Lean (stable)

succeeded Feb 7, 2025 in 4m 27s