P
Initializing...
Formal invariant (round six, `physical_formal`) · Prove2Me