coq-libvalidsdp

LibValidSDP

opam install coq-libvalidsdp.0.5
homepage
https://sourcesup.renater.fr/validsdp/
license
LGPL
bugs tracker
https://github.com/validsdp/validsdp/issues
dependencies
"ocaml" "coq" {>= "8.7" & < "8.9~"} "coq-interval" {>= "3" & < "4~"} "coq-mathcomp-field" {>= "1.7" & < "1.8~"} "ocamlfind" "camlp4" "coq-flocq" {>= "3" & < "3.1~"} "coq-bignums"
source
https://github.com/validsdp/validsdp/releases/download/v0.5/libvalidsdp.0.5.tgz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-libvalidsdp/coq-libvalidsdp.0.5