rocq-stdlib
Standard library for the Rocq Prover
Details
- Homepage:
- https://github.com/rocq-prover/stdlib
- License:
- GPL-3.0-or-later
- Maintainer:
- Leah Neukirchen
- Built at:
- 2025-06-20 22:32 - 2025-06-20 22:36
- Source files:
- https://github.com/rocq-prover/stdlib/releases/download/V9.0.0/stdlib-9.0.0.tar.gz
- Installed size:
- 73.76 MiB
- Popularity:
- No usages in 119 reports
- Depending on:
- rocq