Post #2667992
2026-05-09 13:21 UTC
like, would you ever pass a paper with a contribution that you wouldn't pass otherwise?
Replies (2)
-
@antoinechambertloir@mathstodon.xyz 2026-05-09 13:24
@mc@mathstodon.xyz in math, i don't think so,except in one of the rare journals specialized in formalized math, *if" the formalization brings something new.
-
@jer_gib@functional.cafe 2026-05-09 15:55
@mc@mathstodon.xyz I wouldn't count it an additional "contribution". It's one aspect of validation of the contribution. If the formalization does not itself introduce new techniques or insights, it's comparable to some performance evaluation or user acceptance testing.