Stdlib for the Coq/Rocq Prover, used to be part of Coq
