package rocq-stdlib

  1. Overview
  2. Docs
The Rocq Proof Assistant -- Standard Library

Install 

dune-project
 Dependency

rocq-prover.org Edit opam file Versions (2)

Authors

  1. T
    The Rocq development team, INRIA, CNRS, and contributors

Maintainers

  1. T
    The Rocq standard library development team

Sources

stdlib-9.1.0.tar.gz
sha512=5a6c01496917b8f23017d9e94af567be68850155a4545bddb067da83eed97237e34d617345942a708b6a4231e00f9bfc8311cd978bf397bb1ef2ea7c25b1a0a3

doc/index.html

rocq-stdlib