Hacker News new | ask | show | jobs
by xigoi 1089 days ago
I'm trying to learn Lean and like it, but it's terribly lacking documentation.
1 comments
lenocinor 1089 days ago
The lacking good docs was what stymied my group too.
link