-
Notifications
You must be signed in to change notification settings - Fork 58
Pull requests: rocq-prover/equations
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Guard against partial applications of wfrec functions (closes #555, #609)
#739
opened Aug 6, 2026 by
blume0
Loading…
2
Fix #737 by computing
rec_type after adjust_sign_arity in equations.ml
#738
opened Aug 4, 2026 by
blume0
Loading…
Fix anomaly when encountering pattern-matching lambdas outside Equations
#736
opened Jul 30, 2026 by
blume0
Loading…
Update documentation and document the "obligations" flag
#735
opened Jul 28, 2026 by
blume0
Loading…
Make dependent elimination compatible with Set Mangle Names
#734
opened Jul 25, 2026 by
thomas-lamiaux
Contributor
Loading…
Replace all uses of mattam82/Coq-Equations by rocq-prover/equations in gh-pages
#732
opened Jul 24, 2026 by
blume0
Loading…
Require Vector directly instead of through Bvector
#589
opened Apr 15, 2024 by
andres-erbsen
Loading…
Synchronize set_strategy with the discharge/load infrastructure
#556
opened Jul 31, 2023 by
herbelin
Member
Loading…
ProTip!
Add no:assignee to see everything that’s not assigned.