@mevenlennonbertrand@lipn.info
Post #2668003
2026-05-09 18:36 UTC
@ohad@mathstodon.xyz @mc@mathstodon.xyz I never said one should bar unformalized ideas!? (And think this would be a terrible idea, too)
Replies (1)
-
@ohad@mathstodon.xyz 2026-05-09 18:38
@mevenlennonbertrand@lipn.info I didn't say you did, but barring a paper without formalisation is what the OP is about. @mc@mathstodon.xyz