"Proving Theorems About Functional Programs" code and patter
Primary LanguageAgda
No one’s star this repository yet.