canonical-structures topic

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

alhassy

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]

coq-community