-
Notifications
You must be signed in to change notification settings - Fork 11
Pull requests: jsiek/deduce
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Dedup extract_and/extract_or into terms.py list_of_and/list_of_or (refs #813)
#1157
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Dedup: share the alpha-renaming binder __eq__ body (refs #813)
#1155
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Dedup proc/observer/resource declaration formatting helpers (refs #813)
#1151
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Dedup view-law formula and check helpers (refs #813)
#1149
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Extract single-name uniquify binder helper (refs #813)
#1148
opened Jul 28, 2026 by
jsiek
Owner
Loading…
Dedup: extract shared _all_elim_str helper for AllElim/AllElimTypes (refs #813)
#1147
opened Jul 28, 2026 by
jsiek
Owner
Loading…
ProTip!
Adding no:label will show everything without a label.