Comment on A Good Lemma Is Worth a Thousand Theorems (2007)parentComments−emil-lp3moDefinitions ~ TypesLemmas ~ Helper functionsTheorems ~ API
Comments
Definitions ~ Types
Lemmas ~ Helper functions
Theorems ~ API