Hacker News new | ask | show | jobs
by or_am_i 36 days ago
Lemmas ~ library code, theorems ~ application code.
1 comments
emil-lp 22 days ago
Definitions ~ Types

Lemmas ~ Helper functions

Theorems ~ API

link