Giters
rudynicolop
/
Coq-Type-Classes
A library of coq type classes and instances.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
1
Issues:
2
Forks:
rudynicolop/Coq-Type-Classes Stargazers
motrellin