Comment Comment by gtsnexp Ask HN: What’s the single best resource for learning Lean (beyond the official docs)? parent gtsnexp 1 year ago
