Coq: The Coq Proof Assistant, version 8.12.2 (January 2021)
compiled on Jan 22 2021 20:36:27 with OCaml 4.09.0
Pygments: 2.9.0
Docutils: 0.16
Sphinx: 3.5.4
