Comment Comment by groundzeros2015 Type theory and lean is more interesting to people who like computers than to people who like math. parent groundzeros2015 6 months ago
