refactor: raise minimum Lean support to 4.33 - #274

refactor: raise minimum Lean support to 4.33#274

ejgallego merged 1 commit into

mainleanprover/lean-beam:mainfrom

codex/reduce-lean-support-433leanprover/lean-beam:codex/reduce-lean-support-433Copy head branch name to clipboard