12 ms·
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.
by lakesare 3y 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.