github.com/coq/opam-coq-archive
Verification and synthesis of hardware linear arithmetic structures
opam install coq-hardware.8.10.0