Skip to content

update to Lean 4.16 #1283

update to Lean 4.16

update to Lean 4.16 #1283

Build and test Lean (stable)

succeeded Feb 7, 2025 in 4m 44s