Skip to content

Update Lean to v4.16.0-rc2 #1716

Update Lean to v4.16.0-rc2

Update Lean to v4.16.0-rc2 #1716

charon-pin-is-forward

succeeded Jan 21, 2025 in 8s