rocq-community / math-classesLinks

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
166Updated 3 weeks ago

Alternatives and similar repositories for math-classes

Users that are interested in math-classes are comparing it to the libraries listed below

Sorting: