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: 59
Forks: 36
Open issues: 56
License: None
Language:
Size: 230 KB
Dependencies parsed at: Pending
Created at: over 9 years ago
Updated at: about 2 months ago
Pushed at: 8 months ago
Last synced at: 11 days 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