Skip to content

Re-prove exercises and Hoare metatheory in alternative styles#24

Open
Stefan-Ivan wants to merge 2 commits into
alexoltean61:masterfrom
Stefan-Ivan:stefan.ivan
Open

Re-prove exercises and Hoare metatheory in alternative styles#24
Stefan-Ivan wants to merge 2 commits into
alexoltean61:masterfrom
Stefan-Ivan:stefan.ivan

hoare: Re-prove Hoare metatheory in alternative styles

4bdb115
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs