Lean 4, release v4.17.0 (via ehamberg) — discussion

#formalmethods #release