Skip to content

Pull requests: sandialabs/Prove-It

New pull request New
11 Open 103 Closed
11 Open 103 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

393 vecsum tensor factoring bug
#395 opened Jul 11, 2026 by wwitzel Collaborator Loading…
1
390 simplifying negation of not equals discussion enhancement
#391 opened Jul 1, 2026 by wdcraft01 Collaborator Loading…
Update IntervalMembership.derive_element_in_restricted_number_set_if_known() method
#389 opened Jun 22, 2026 by wdcraft01 Collaborator Loading…
385 expr tuple equality discussion enhancement
#386 opened Jun 19, 2026 by wdcraft01 Collaborator Loading…
3
383 kronecker delta eval discussion enhancement
#384 opened Jun 18, 2026 by wdcraft01 Collaborator • Draft
368 add alldisjoint alldistinct 2
#382 opened Jun 17, 2026 by wdcraft01 Collaborator • Draft
3
380 utilize vacuous interval theorem
#381 opened Jun 15, 2026 by wdcraft01 Collaborator • Draft
3
Update ClassMembership.shallow_simplification() method
#377 opened May 16, 2026 by wdcraft01 Collaborator Loading…
1
Issue 374 Correct bug in Abs._deduce_canonically_equal() method
#375 opened May 14, 2026 by wdcraft01 Collaborator Loading…
1
Numbers/differentiation implemented and physics.quantum.algebra.dist_between_vectors proved
#373 opened May 9, 2026 by TushtiPatel Loading…
dist_between_two_vecs_theorem_proof
#367 opened Mar 14, 2026 by TushtiPatel Loading…
ProTip! Follow long discussions with comments:>50.