Re-prove exercises and Hoare metatheory in alternative styles#24
Open
Stefan-Ivan wants to merge 2 commits into
Open
Re-prove exercises and Hoare metatheory in alternative styles#24Stefan-Ivan wants to merge 2 commits into
Stefan-Ivan wants to merge 2 commits into
Commits
Commits on Jun 2, 2026
- committed
Stefan-Ivan - committedStefan-Ivan