Post #1765432
2026-03-05 17:19 UTC
@MoritzFirsching Interesting! How did you come up with (informal) answer? Probably some AI-assisted or just humans?
Replies (1)
-
@MoritzFirsching@mathstodon.xyz 2026-03-05 17:46
@seewoo5 The autogenerated formal answer was quite readable and even had code comments