search

math-comp / trajectories

0 stars 4 forks source link

add real-closed dependency, reduce number of versions checked #9

Closed ybertot closed 2 years ago

ybertot commented 2 years ago

dependency on coq-mathcomp-real-closed had been forgotten