-
Notifications
You must be signed in to change notification settings - Fork 39
Pull requests: rocq-prover/stdlib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Qround.v: Add more rounding functions
#291
opened Jul 13, 2026 by
RyanGlScott
Contributor
Loading…
1 of 2 tasks
Adapt to rocq-prover/rocq#22113 (Proof Using Clear Unused)
#276
opened Jun 10, 2026 by
SkySkimmer
Contributor
•
Draft
Small Linting of the code base to have a tab of 2
#266
opened May 17, 2026 by
thomas-lamiaux
Contributor
•
Draft
Add a Version file allowing to identify the stdlib version from Rocq
#263
opened May 11, 2026 by
mattam82
Member
Loading…
1 of 2 tasks
Adapt to tify (https://github.com/rocq-community/micromega-plugin/pull/1)
#251
opened Apr 1, 2026 by
fajb
Contributor
Loading…
remove goal-modifying uses of
injection
#248
opened Mar 17, 2026 by
andres-erbsen
Collaborator
Loading…
Wellfounded/Inclusion.v add lemma for when the inclusion is partial
#238
opened Feb 18, 2026 by
SkySkimmer
Contributor
Loading…
Rewrite Vector using list and small inversions
#170
opened Jun 11, 2025 by
andres-erbsen
Collaborator
•
Draft
1 of 8 tasks
Deprecate Relation_definitions, remove from supported files
#162
opened Jun 3, 2025 by
andres-erbsen
Collaborator
Loading…
3 of 4 tasks
use RelationClasses instead of Relations_1 in Sorting
#152
opened May 31, 2025 by
andres-erbsen
Collaborator
Loading…
1 of 3 tasks
remove Heap, PermutEq, and PermutSetoid from Sorting
#151
opened May 31, 2025 by
andres-erbsen
Collaborator
•
Draft
1 of 3 tasks
ProTip!
no:milestone will show everything without a milestone.