rocq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
Why it is useful
math-classes is a recent open-source project in Machine Learning. It is included because it has recent repository activity and can support mathematical learning, research, modelling, software development, or AI workflows.
Repository at a glance
- Owner: rocq-community
- Primary language: Rocq Prover
- Latest update: 2026-07-22
- Stars / forks: 168 / 42
- License: MIT
- Links: Official project site
Good starting points
- Read the project README and installation instructions.
- Try the smallest example before changing parameters or datasets.
- Check tests, issues, and release notes before relying on results in teaching or research.
- Cite the repository and its license when reusing code or figures.
README snapshot
!--- This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --- [![Docker CI][docker-action-shield]][docker-action-link] [![Contributing][contributing-shield]][contributing-link] [![Code of Conduct][conduct-shield]][conduct-link] [![Zulip][zulip-shield]][zulip-link] [![DOI][doi-shield]][doi-link] [docker-action-shield]: https://github.com/coq-community/math-classes/actions/workflows/docker-action.yml/badge.svg?branch=master [docker-action-link]: https://github.com/coq-community/math-classes/actions/workflows/docker-action.yml [contributing-shie
