← Back to context Comment by anthonyrstevens 8 hours ago >> slopdropReally? Do better. 1 comment anthonyrstevens Reply jaykru 7 hours ago this is the term of art in the mathematics community. considering that the vast majority of the results don't come with a typechecking lean formalization, i don't think it's off base at all either.
jaykru 7 hours ago this is the term of art in the mathematics community. considering that the vast majority of the results don't come with a typechecking lean formalization, i don't think it's off base at all either.
this is the term of art in the mathematics community. considering that the vast majority of the results don't come with a typechecking lean formalization, i don't think it's off base at all either.