diff options
| author | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-03-19 17:26:39 +0000 |
|---|---|---|
| committer | Greg Brown <greg.brown@cl.cam.ac.uk> | 2022-03-19 17:26:39 +0000 |
| commit | dd97e0a58b377161fb8e9ab7b5524f63b875612c (patch) | |
| tree | 564dc6aed1db53c4f0863f3c2e058b29bf64ebc6 /src/Helium/Algebra/Ordered/StrictTotal/Structures.agda | |
| parent | 535e4297a08c626d0e2e1923914727f914b8c9bd (diff) | |
Add definition of Hoare logic semantics.
Diffstat (limited to 'src/Helium/Algebra/Ordered/StrictTotal/Structures.agda')
0 files changed, 0 insertions, 0 deletions