math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
160 stars
16 watching
43 forks
Language: Coq
last commit: 19 days ago
Linked from 2 awesome lists
coqcoq-cicoq-librarycoq-platformmathematicstypeclasses
uhub/awesome-coq