Add a conditional modifier and assuming clause to formal_proof#4368
Open
williamjblair wants to merge 5 commits into
Open
Add a conditional modifier and assuming clause to formal_proof#4368williamjblair wants to merge 5 commits into
conditional modifier and assuming clause to formal_proof#4368williamjblair wants to merge 5 commits into
Google CLA / cla/google
succeeded
Jul 3, 2026 in 1s
✅ All contributors are covered under a CLA with Google
See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).
ℹ️ Googlers: Go here to view more details and manage scans for this pull request.
Details
The following contributors were found for this pull request:
✅ 5c61432 Author: @williamjblair <85643015+willblair0708@users.noreply.github.com>
(Only the first commit for a unique contributor is listed.)
Loading