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

MathClasses (last edited 13-05-2011 15:19:54 by JelleHerold)

Cocorico!WikiLicense