top | item 37578447 (no title) 1 points| lakesare | 2 years ago discuss order hn newest lakesare|2 years ago A 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.
lakesare|2 years ago A 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.
lakesare|2 years ago