[dev-servo] Quark : A Web Browser with a Formally Verified Kernel

[Brendan Eich]

http://goto.ucsd.edu/quark/

/be
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo