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!
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
