Skip to content

fix(WOWII): move α/instance quantification under answer(False) in con…

0418c4d
Select commit
Loading
Failed to load commit list.
Open

Add 10 WOWII open conjectures (batch 2) #3796

fix(WOWII): move α/instance quantification under answer(False) in con…
0418c4d
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google succeeded May 8, 2026 in 16s

✅ 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:

0418c4d Author: @henrykmichalewski <henr*********wski​@gmail.com>

(Only the first commit for a unique contributor is listed.)