Post #2668002
2026-05-09 18:33 UTC
@mevenlennonbertrand@lipn.info sure, but if one is going to bar publication without formalisation, those tools need to get a lot better first. And the burden is not on the authors, here.
@mc@mathstodon.xyz
Replies (2)
-
@mevenlennonbertrand@lipn.info 2026-05-09 18:36
@ohad@mathstodon.xyz @mc@mathstodon.xyz I never said one should bar unformalized ideas!? (And think this would be a terrible idea, too)
-
@ohad@mathstodon.xyz 2026-05-09 18:38
@mevenlennonbertrand@lipn.info literally from the previous slide I made in preparation for my PLUG talk in a couple of weeks @mc@mathstodon.xyz