Math Classes Resources Save

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

Overview
Versions
Reviews
Resources

No resources 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 Resource Articles, Courses, Videos

From the blog

Dec 11, 2022

Math Classes Resources Save

Open Source Agenda Badge

From the blog

How to Choose Which Programming Language to Learn First?