Comment Comment by joshlk Some of the Lean proofs are 50k lines - is that normal? parent joshlk 3 months ago
