Running Lean at Scale

[eab-]

Article URL: https://harmonic.fun/news#blog-post-lean

Comments URL: https://news.ycombinator.com/item?id=46608731

Points: 52

# Comments: 3