P
Initializing...
Verified selection of a minimum-value array index · Prove2Me