[untitled]1 points·by lakesare·3 ปีที่แล้ว·0 comments1 commentsPost comment[–]lakesare·3 ปีที่แล้วreplyA blog post where I catalog all Lean [proof assistant] books that exist in nature, share my opinion on them, and suggest learning paths for Lean novices.