P
Initializing...
Correctness and cost of rounded-up halving · Prove2Me