github.com/coq/opam-coq-archive
Formal Verification of an Incremental Garbage Collector
opam install coq-gc.8.10.0