GitHub repository: rocq-prover/stdlib
Primary language: Rocq Prover
Description: Stdlib for the Rocq Prover