Update to Lean 4.22.0 and intermediate lean versions - #304

Merged

GeorgeTsoukalas merged 6 commits into

trishullab:mainfrom

eric-wieser:update

Oct 23, 2025

Commits on Aug 29, 2025

Work around syntax highlighting bugs in VSCode
eric-wieser
committed
e00ebac
Update to Lean 4.18.0

eric-wieser
and
mo271
committed
df32ab9
Update to Lean 4.19.0
eric-wieser
committed
7538544
Update to Lean 4.20.0
eric-wieser
committed
b5eb023
Update to Lean 4.21.0
eric-wieser
committed
ba4d84a
Update to Lean 4.22.0

eric-wieser
and
mo271
committed
1aaaa91