Lukas' Notes
Search titles, aliases and note text. Use # for tags.
Retry
Dark mode
Light mode
Tag: verification
2 items with this tag.
Hoare Triple
logic
verification
hoare-calculus
Operational Semantics
logic
verification
programming-languages