This is a proof created to prove that an algorithm will run at a certain complexity.

Proof Types