Hacker News

news newest show ask jobs

abiro

Anatomy of a Lean proof for software engineers agostbiro.net

16 points 0 comments a day ago

hn-front (c) 2024 voximity

source