Stream: New Members & Projects

Topic: Blog post about refinement and how to prove it in Isabelle

Alex Weisberger (Nov 27 2021 at 22:30):

Hi everyone,

Here is a post I wrote up recently that's about the broader topic of refinement, but includes an example of proving a refinement with Isabelle:

https://concerningquality.com/refinement/

I would love any feedback on it. Thanks!

Last updated: Nov 21 2024 at 12:39 UTC