-
Notifications
You must be signed in to change notification settings - Fork 25
Pull requests: rocq-community/aac-tactics
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Adapt to https://github.com/rocq-prover/rocq/pull/21947
#164
opened Apr 23, 2026 by
proux01
Contributor
Loading…
Do not treat default warnings as errors in dune
#158
opened Jun 4, 2025 by
andres-erbsen
Contributor
Loading…
Replace calls to "vm_compute in hyps" by plain calls to vm_compute.
#138
opened Apr 10, 2024 by
silene
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-03-24.