Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by math-comp
A curated list of projects in awesome lists by math-comp .
https://github.com/math-comp/analysis
Mathematical Components compliant Analysis Library
analysis coq mathcomp ssreflect
Last synced: 04 Aug 2024
https://github.com/math-comp/hierarchy-builder
High level commands to declare a hierarchy based on packed classes
Last synced: 04 Aug 2024
https://github.com/math-comp/algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
coq elpi mathcomp proof-automation ssreflect
Last synced: 04 Aug 2024
https://github.com/math-comp/mczify
Micromega tactics for Mathematical Components
coq mathcomp proof-automation ssreflect
Last synced: 04 Aug 2024
https://github.com/math-comp/multinomials
Multinomials for the Mathematical Components library.
coq mathcomp polynomials ssreflect
Last synced: 04 Aug 2024