package rocq-stdlib

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

Install 

dune-project
 Dependency

coq.inria.fr Edit opam file Versions (3)

Authors

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

Maintainers

  1. T
    The Rocq standard library development team

Sources

stdlib-9.2.0.tar.gz
sha256=f2ee1cb0b9af3e7b20625f0e9ec4becb7a27bb453d53b9bc0ea3d67bc8b3142c

doc/index.html

rocq-stdlib

API

Library rocq-stdlib

No module.