Post #1639302
2026-04-17 14:21 UTC
@carloangiuli @maxsnew didn't you know? Lean has a feature where you can formalize "exercise left for the reader" using `sorry`
Replies (1)
-
@carloangiuli@mathstodon.xyz 2026-04-17 14:36
@markusde @maxsnew damn this guy's good