Math Classes

math-classes is a library of abstract interfaces for mathematical structures.

It's heavily based on Coq's new TypeClasses in order to archieve:

More information can be found here:

Presentation Paper

You can find the latest code on github

Cocorico: MathClasses (last edited 29-02-2016 09:20:09 by 93-160-112-96-dynamic)

Cocorico!WikiLicense