Prove your program works for n=1. Induct on n. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

jrockway on May 17, 2011 | parent | context | favorite | on: Writes large correct programs

Prove your program works for n=1. Induct on n.

sambeau on May 17, 2011 [–]

You forgot n=0.

edit: and I forgot n=⊥

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact