Post #2136357

@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!