Comment by stabbles

341k lines of lean without comments