https://rocq-prover.org/doc/master/stdlib/Stdlib.extraction.ExtrHaskellNatNum.html
Rocq Standard Library
Rocq Standard Library
standard libraryrocq
https://unimath.github.io/UniMath/documentation/unimath/Symbols-list.html
UniMath | This rocq library aims to formalize a substantial body of mathematics using the univalent...
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
rocqlibraryaimsformalizesubstantial
https://www.elsan.care/fr/praticien/anesthesiste-reanimateur/rocq-nicolas
ROCQ NICOLAS | ELSAN
rocqnicolaselsan