Home
Projects
Resources
Alternatives
Blog
Sign In
Math Classes Versions
Save
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
Overview
Versions
Reviews
Resources
1.0.6
6 years ago
« Previous
Next »
Home
Projects
Resources
Alternatives
Blog
Sign In
Sign In to OSA
I agree with
Terms of Service
and
Privacy Policy
Sign In with Github