Re: [seL4] (good faq entries to add?) re-proving after code commits?

This seems like such a terrific existence proof that we can actually use proofs for real-world systems. I wish more people would crow about it from the rooftops. Well done to you all!