-
Notifications
You must be signed in to change notification settings - Fork 7
Pull requests: opencompl/veir
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add region_parent_congr lemma so grind can handle getRegion! under binders
#349
opened Mar 29, 2026 by
snarang181
Loading…
3 tasks done
Add standalone IRNode containment module
#346
opened Mar 28, 2026 by
snarang181
Loading…
3 tasks done
ProTip!
Mix and match filters to narrow down what you’re looking for.