← Back to context Comment by anthonyrstevens 13 hours ago >> slopdropReally? Do better. 1 comment anthonyrstevens Reply jaykru 12 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 12 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.