User blog comment:Ubersketch/Submit a paper/@comment-35470197-20190515010608/@comment-34422464-20190522224249

I probably can't write a proof myself at my current state, since I don't know much about any notation where termination is dubious. However I am willing to learn stronger notations and how to do proofs. I suspect the reason why the proof that took more than half a month to complete had lots of mistakes because there was no peer reviewing. Also why exactly do you not want to submit your paper?

P.S where did you learn to do proofs