This commit is contained in:
Hannes Mehnert 2017-09-16 17:38:59 +01:00
parent 4b4529d388
commit 053d357fba

4
About
View file

@ -50,3 +50,7 @@ Coq). At the moment he is busy with reanimating an executable formal model of
TCP/IP which can act as a test validator. TCP/IP which can act as a test validator.
Alfred co-authored a TLS implementation from the grounds up in OCaml. Alfred co-authored a TLS implementation from the grounds up in OCaml.
## Contact
If you want to get in contact with us, write an email to us AT robur DOT io.