or_am_i on A Good Lemma Is Worth a Thousand Theorems (2007) · Hackerly

Comment on A Good Lemma Is Worth a Thousand Theorems (2007)

Lemmas ~ library code, theorems ~ application code.

Definitions ~ Types

Lemmas ~ Helper functions

Theorems ~ API