LeanEuclid icon indicating copy to clipboard operation
LeanEuclid copied to clipboard
Published 1 month ago • verified publisher icon loganrjmurphy

Bump to v4.19.0

Open yangky11 opened this issue 7 months ago • 0 comments

Hi @loganrjmurphy, I'm trying to bump the repo to Lean v4.19.0 (the v4.19.0 branch). I've already bumped its dependency https://github.com/ufmg-smite/lean-smt and the SystemE module in this repo. But I still see some errors when building the statements/proofs from Elements. Could you please take a look and see if they work on your side?

yangky11 avatar May 03 '25 20:05 yangky11