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: Feb 01 2025 at 20:19 UTC