lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
26 stars
6 watching
6 forks
Language: Coq
last commit: over 2 years ago
Linked from 2 awesome lists
automationcanonical-structurescoqmathcomppaper-artifactsssreflecttypeclasses