Comment Comment by VMG `solution.lean` is a 12mb fileI looks like we are breezing past the point where unassisted humans can understand any of this parent VMG 2 months ago
I looks like we are breezing past the point where unassisted humans can understand any of this