-
Notifications
You must be signed in to change notification settings - Fork 32
Pull requests: mit-plv/coqutil
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Word.Naive: represent words as stdlib bits (Zmod); require rocq-stdlib >= 9.1
#186
opened Sep 12, 2026 by
JasonGross
Collaborator
Loading…
Skip Alpine CI if
Require Bool. fails
#174
opened Jul 24, 2026 by
andres-erbsen
Contributor
Loading…
Map.Interface, Word.Interface: Set Universe Polymorphism
#163
opened May 17, 2026 by
spitters
Loading…
2 tasks done
ProTip!
Exclude everything labeled
bug with -label:bug.