rocq-prover/stdlib

Stdlib for the Rocq Prover

Stars: 42
Forks: 38
Open beginner issues: 0
Indexed issues: 85
Avg merge: 14h 6m
Merged PRs (30d): 3

Dominant language: Rocq Prover
License: LGPL-2.1
Last GitHub push: Aug 31, 2026
Latest indexed: Sep 19, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

1 beginner-friendly issue open

incl_dec and NoDup_dec should be Defined and not Qed Open

Difficulty 1/5 1-3 hours Newbie friendliness 65/100

rocq-prover/stdlib#25 · Opened Apr 21, 2021

A short digest of beginner-friendly GitHub issues.