3 ms·

I'm trying to learn Lean and like it, but it's terribly lacking documentation.

• lenocinor 3y ago
  The lacking good docs was what stymied my group too.