search

math-comp / real-closed

Theorems for Real Closed Fields
13 stars 11 forks source link

[opam]: add dev-repo #3

Closed anton-trunov closed 5 years ago

anton-trunov commented 6 years ago

Please see https://github.com/coq/opam-coq-archive/pull/456 for details.

anton-trunov commented 5 years ago

Same as for the corresponding PR for finmap.