Awesome Lists

math-classes

by coq-community

Coqpushed almost 2 years ago

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

AI summary

Math library

A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq

stars
162
forks
43
watching
16
awesome lists
2
View on GitHubmath-classes.github.io

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/coq-community/math-classes/links.svg)](https://awesome.facts.dev/awesome/coq-community/math-classes)
HTML
<a href="https://awesome.facts.dev/awesome/coq-community/math-classes"><img src="https://awesome.facts.dev/shield/coq-community/math-classes/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/coq-community/math-classes/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.