Loop Invariants Abbreviate Induction Proofs

Comments



from Hacker News http://ubm.io/1tSEFFS