P
Initializing...
Exact-time decision contracts are monotone after halting · Prove2Me