Post #2136356
2026-05-05 12:25 UTC
@JacquesC2 i don't think the author version would include any proof whatsoever then
Replies (1)
-
@JacquesC2@types.pl 2026-05-05 12:30
@jpoiret Much of my recent work (especially lots of the as yet unsubmitted work) is proofs-first. Because the ideas are just strange enough that even I don't quite believe them until I have proofs of everything!