3 ms·
You may be interested in Quark, which is a browser kernel written using Coq http://goto.ucsd.edu/quark/ http://goto.ucsd.edu/quark/
by orblivion 13y ago
You may be interested in Quark, which is a browser kernel written using Coq http://goto.ucsd.edu/quark/ http://goto.ucsd.edu/quark/
- dkarapetyan 13y agoYes, 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.
- orblivion 13y agoPerhaps its time will come soon. That would be really cool.