Skip to content

Pull requests: rocq-prover/equations

New pull request New
11 Open 459 Closed
11 Open 459 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

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…
1
Replace all uses of mattam82/Coq-Equations by rocq-prover/equations in gh-pages
#732 opened Jul 24, 2026 by blume0 Loading…
Adapt to Rocq PR #19404
#730 opened Jul 1, 2026 by herbelin Member Loading…
Adapt to https://github.com/rocq-prover/stdlib/pull/251
#712 opened Apr 13, 2026 by proux01 Contributor • Draft
make the inspect pattern standard
#658 opened Jun 26, 2025 by ybertot Contributor Loading…
Equations on corelib
#645 opened Apr 4, 2025 by mattam82 Member Loading…
3
Adding compatibility with HoTT for 8.19
#600 opened May 20, 2024 by MevenBertrand Loading…
1
Adapt to PR#18903
#596 opened May 14, 2024 by mattam82 Member Loading…
Require Vector directly instead of through Bvector
#589 opened Apr 15, 2024 by andres-erbsen Loading…
1
Synchronize set_strategy with the discharge/load infrastructure
#556 opened Jul 31, 2023 by herbelin Member Loading…
1
ProTip! Follow long discussions with comments:>50.