Coq -> Rocq

v1.20 for Coq 8.20

version 1.9, for Coq 8.19

adapt opam and ci for 8.16 to 8.18 compatibility

v1.7 release (tower-based reimplementation)

v1.6 for Coq 8.16

changelog for v1.5

v1.4 release

readme

new helper lemmas to prove that contextual functions are below the co…

…mpanion (rel.unary_ctx_t)