coq-community / coqeal

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
69Updated 2 weeks ago

Alternatives and similar repositories for coqeal:

Users that are interested in coqeal are comparing it to the libraries listed below