coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
65 stars
15 watching
17 forks
Language: Coq
last commit: about 2 months ago
Linked from 2 awesome lists
coqcoq-cicoq-platformmathcompmathcomp-cirefinement
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]