Recent version of Lean?

[spitters]

Do you have plans to support a recent version of Lean?
The FRO provides some scripts to facilitate upgrading.

[RSoulatIOHK]

Hi @spitters

Absolutely. We have a bit of work on the backend because they changed the representation of String so we have to support a couple of new types are rewrite some optimizations in the optimization pipeline + SMT encoding.

It's been put in the backburner a bit to deliver the Cardano formalization but we should address it soon!