search

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components
33 stars 2 forks source link

[CI] add mathcomp:(1.12.0|1.13.0)-coq-8.14 #25

Closed pi8027 closed 2 years ago