P
Initializing...
`Out ≤ 2/3` on `[0,1/2]` · Prove2Me