/ref-hoare

A Hoare-Logic Style Refinement Types Formalisation

Primary LanguageAgda

Watchers