/refhoare-idr

Hoare-Logic Style Refinement Types

Primary LanguageIdris

Stargazers

No one’s star this repository yet.