From 053d357fba7b2a80252762f8e49d8a6491084251 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sat, 16 Sep 2017 17:38:59 +0100 Subject: [PATCH] contact --- About | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/About b/About index c3e70d3..9b17d7f 100644 --- a/About +++ b/About @@ -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. 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.