|
|
|
|
|
|
by wsxcde
4147 days ago
|
|
|
I think you you guys have formally proven some of this correct? What did you use? Was a proof-assistant like Coq or a model checker or similar? And what properties have been proven correct (so we know what to avoid wasting time on :)? |
|
|
You are probably thinking of these guys: http://www.mitls.org.
They have a killer TLS, but it drags the entire CLR in.
We are these guys: http://openmirage.org/blog/introducing-ocaml-tls.