/hoare-proof-outlines

Write readable Hoare style proof outlines for imperative programs in Agda.

Primary LanguageAgda

Stargazers