-
Notifications
You must be signed in to change notification settings - Fork 32
Pull requests: rocq-prover/stdlib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix tautological lemma bits.skipn_app
#258
opened Apr 22, 2026 by
andres-erbsen
Collaborator
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…
Prepare move of ring/field and micromega computational part to Corelib
#207
opened Sep 8, 2025 by
proux01
Contributor
Loading…
1 of 3 tasks
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!
What’s not been updated in a month: updated:<2026-03-22.