Running Lean at Scale

via harmonic.fun

Short excerpt below. Read at the original source.

Article URL: https://harmonic.fun/news#blog-post-lean Comments URL: https://news.ycombinator.com/item?id=46608731 Points: 6 # Comments: 0

Read at Source