The Coq Reference Manual -- Release 8.18.0

{The Coq Development Team}. The Coq Reference Manual -- Release 8.18.0. \url{https://coq.inria.fr/doc/V8.18.0/refman}, 2023.

Abstract

Abstract is missing.