GitHub / coq / stdlib
Stdlib for the Rocq Prover
JSON API: https://repos.data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fstdlib
Stars: 8
Forks: 8
Open issues: 74
License: lgpl-2.1
Language: Coq
Size: 157 MB
Dependencies parsed at: Pending
Created at: 10 months ago
Updated at: 2 months ago
Pushed at: 2 months ago
Last synced at: about 2 months ago
Loading...