An extended standard library for Rocq.
Author: Nicholas Coltharp
Created: 2025-09-07 Sun 00:00
Validate