Post #2636078
2026-05-05 13:16 UTC
@JacquesC2@types.pl haha! I'm really annoyed by that Lean trend
Replies (1)
-
@yforster@types.pl 2026-05-05 15:23
@gallais@mamot.fr @JacquesC2@types.pl is it a Lean trend or an "we acknowledge help by Claude to improve some formulations in this paper" trend?