Math Classes Reviews Save

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]

Overview
Versions
Reviews
Resources

No reviews for this project.

Open Source Agenda Badge

$Open Source Agenda Rating$

<a href="https://www.opensourceagenda.com/projects/math-classes"><img src="https://www.opensourceagenda.com/projects/math-classes/reviews/badge.svg" alt="Open Source Agenda"></a>

Submit Review Review Your Favorite Project

From the blog

Dec 11, 2022

Math Classes Reviews Save

Open Source Agenda Badge

From the blog

How to Choose Which Programming Language to Learn First?