github.com/coq/opam-coq-archive
The Chou, Gao and Zhang area method
opam install coq-area-method.8.6.0