GitHub / rocq-prover / rfcs
Rocq RFCs: documents to discuss changes to the Rocq Prover
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/rocq-prover%2Frfcs
PURL: pkg:github/rocq-prover/rfcs
Stars: 57
Forks: 34
Open issues: 51
License: None
Language:
Size: 230 KB
Dependencies parsed at: Pending
Created at: about 9 years ago
Updated at: 2 months ago
Pushed at: 6 months ago
Last synced at: 2 months ago
Commit Stats
Commits: 102
Authors: 17
Mean commits per author: 6.0
Development Distribution Score: 0.784
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/rocq-prover/rfcs
Topics: rfc, rocq-prover