Stream: New Members & Projects

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


view this post on Zulip 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: Mar 28 2024 at 12:29 UTC