Rocq Standard Library

https://github.com/rocq-prover/stdlib

Rocq Standard Library provides a comprehensive collection of formally verified mathematical...

Tokens:21,294
Snippets:320
Trust Score:8.5
License:LGPL-2.1
Update:2 months ago
Tokens:
Raw