Simplification of a proof for better comprehension and removed some version-dependant lemmas from solution

logsem / iris-tutorial

MIT License

25 stars 13 forks source link

Simplification of a proof for better comprehension and removed some version-dependant lemmas from solution #1

Closed dranamme closed 1 year ago

dranamme commented 1 year ago

What we discussed yesterday + a little modification of a proof for instructiveness purposes in an otherwise amazing file. I wanted to make 2 separate pull requests but I messed up :)