So @larsr_h and I want to try something new: a COLLABORATIVE tweetstorm. The topic? Why it's so hard to reuse formally verified code. He's an expert in verifying code with Isabelle, I use TLA+. Together, we can attack the question from different angles. Take it away, Lars!
— Hillel (@hillelogram) March 15, 2021