GitHub topics: canonical-structures
rocq-community/lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
Language: Coq - Size: 1.1 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 27 - Forks: 6
alhassy/next-700-module-systems
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
Language: HTML - Size: 80.9 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 81 - Forks: 6
