Skip to content

Update to Lean 4.20.1

b97b73f
Select commit
Loading
Failed to load commit list.
Merged

Update to Lean 4.20.1 #172

Update to Lean 4.20.1
b97b73f
Select commit
Loading
Failed to load commit list.