-
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
Preserve saved progress when Edit State receives invalid JSON
#56
opened Sep 12, 2026 by
Chessing234
Contributor
Loading…
Do not substitute through a capturing quantifier binder
#55
opened Sep 8, 2026 by
Chessing234
Contributor
Loading…
2 tasks
Match and substitute non-equality predicates
#54
opened Sep 8, 2026 by
Chessing234
Contributor
Loading…
2 tasks
Extract QED strings so a language pack can be swapped in
#53
opened Sep 6, 2026 by
Chessing234
Contributor
Loading…
2 tasks
Put term-specific deductions above generic formula identities
#52
opened Sep 6, 2026 by
Chessing234
Contributor
Loading…
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!
Type g i on any issue or pull request to go back to the issue listing page.