Olavhaasie/hoare-proof-outlines
Write readable Hoare style proof outlines for imperative programs in Agda.
Agda
No issues in this repository yet.
Write readable Hoare style proof outlines for imperative programs in Agda.
Agda
No issues in this repository yet.