-
Notifications
You must be signed in to change notification settings - Fork 14
Pull requests: sandialabs/Prove-It
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update ClassMembership.shallow_simplification() method
#377
opened May 16, 2026 by
wdcraft01
Collaborator
Loading…
Issue 374 Correct bug in Abs._deduce_canonically_equal() method
#375
opened May 14, 2026 by
wdcraft01
Collaborator
Loading…
Numbers/differentiation implemented and physics.quantum.algebra.dist_between_vectors proved
#373
opened May 9, 2026 by
TushtiPatel
Loading…
368-add-alldisjoint-alldistinct
discussion
enhancement
#370
opened Apr 28, 2026 by
wdcraft01
Collaborator
Loading…
ProTip!
Follow long discussions with comments:>50.