No post body was provided.
Untitled topic
1–2 of 2 posts
Re: undefined
#2A 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.
1–2 of 2 posts