Iris Lean Toolchain Upgrade

Stream: Program verification

[Shreyas Srinivas]

I was able to fork Iris Lean and after a tiny bit of fiddling around, managed to upgrade the toolchain to leanprover/lean4:v4.6.0-rc1. This also changes the folder structure to the current standard. Everything works. I will be using it for myself.

What I wanted to ask was if it is worth making a PR to the original repo, since it seems to be stuck on some nightly toolchain from half a year ago? Would anybody find it useful?

[Shreyas Srinivas]

Here's the fork for reference : https://github.com/Shreyas4991/iris-lean

[Shreyas Srinivas]

Also, a github question: How do I remove the old src folder from github itself. I don't have it locally anymore? EDIT: Figured it out.

[Shreyas Srinivas]

Here's the PR if this is of interest. The last such update was made by @Mario Carneiro