Hacker News new | ask | show | jobs
by emil-lp 13 days ago
Definitions ~ Types

Lemmas ~ Helper functions

Theorems ~ API