Tags

The Next 700 Relational Program Logics

Author: Nicholas Coltharp (mail@heraplem.xyz)

Last modified: 2026-08-09 Sun 19:55

Emacs 30.2 (Org mode 9.7.11)

Validate