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.