Skip to content

EncRelTheory and Case Studies

Latest
Latest

Choose a tag to compare

View all tags
@CielSeven CielSeven released this 30 Jul 09:45
· 14 commits to main since this release
v1.0
456919e

the first release for EncRel: Encoding the ∀∃ Relational Hoare Logic into Standard Hoare Logic

Assets 2
Loading