-
Notifications
You must be signed in to change notification settings - Fork 15
Pull requests: teorth/QED
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: renumber the Jan 2025 release to 2.10.8
#50
opened Aug 31, 2026 by
Chessing234
Contributor
Loading…
2 tasks done
Enable matching and substitution for operator evaluations
#49
opened Aug 29, 2026 by
Chessing234
Contributor
Loading…
2 tasks
Fix operator free-var check and relationStyle arg names
#48
opened Aug 29, 2026 by
Chessing234
Contributor
Loading…
2 tasks
Enable matching for the cancellation law so it can be used in 24.8
#47
opened Aug 25, 2026 by
Chessing234
Contributor
Loading…
Remove the shadowed copy of matchExistentialInstantiation
#46
opened Aug 23, 2026 by
Chessing234
Contributor
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.