Skip to content

update to Lean 4.12 #680

update to Lean 4.12

update to Lean 4.12 #680

This job succeeded