👨‍💻
myHN
Top
New
Best
Ask
Show
Job
"Why not just use Lean?"
by ibobev |
View on Hacker News