Comment by orblivion
12 years ago
You may be interested in Quark, which is a browser kernel written using Coq http://goto.ucsd.edu/quark/
12 years ago
You may be interested in Quark, which is a browser kernel written using Coq http://goto.ucsd.edu/quark/
Yes, why doesn't the same thing exist for SSL? The fact that quark was funded by the NSF means that there is interest in actually doing stuff like this.
Perhaps its time will come soon. That would be really cool.