@antoinechambertloir@mathstodon.xyz
Post #2667993
2026-05-09 13:24 UTC
@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.
Replies (1)
-
@mc@mathstodon.xyz 2026-05-09 13:28
@antoinechambertloir@mathstodon.xyz this is CS but I tend to agree with you