gl o
signal
← All stories
Static 1 source ·

"Why not just use Lean?"

Lean
Covered by: hackernews
Read on lawrencecpaulson.github.io →