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:

I would love any feedback on it. Thanks!

Last updated: Dec 07 2023 at 12:30 UTC