github.com/coq/opam-coq-archive
Paradoxes in Set Theory and Type Theory
opam install coq-paradoxes.8.10.0