All Lean Books and Where to Find Them
via lakesare.brick.do
Short excerpt below. Read at the original source.
Article URL: https://lakesare.brick.do/all-lean-books-and-where-to-find-them-x2nYwjM3AwBQ Comments URL: https://news.ycombinator.com/item?id=48255501 Points: 4 # Comments: 0