Skip to content

update to Lean 4.12 #680

update to Lean 4.12

update to Lean 4.12 #680

Build BML

succeeded Oct 11, 2024 in 2m 21s