A former coworker of mine was in the process of publishing a really nice paper about a framework that allows concurrent resp. simultaneous verification of proof

A former coworker of mine was in the process of publishing a really nice paper about a framework that allows concurrent resp. simultaneous verification of proofs generated by most state-of-the-art SAT Solvers, which drastically reduced the time needed to construct and then resp. simultaneously verify UNSAT proofs. Unfortunately, he left before publishing the paper. (Among other reasons he was unhappy with the academic world, which I do understand perfectly.) Unfortunately, I have trouble reaching him. I believe his basically finished paper would be of so much use to some people. It's really sad. I believe his paper really should be published in a journal or at least put online somewhere. It's not totally groundbreaking or something, but like hard work nobody had the determination to, yet. At least not publicly. I feel so bad that I can not share his work without his permission.