Contact info
You can contact me at (λx, x@x.org) mattam, otherwise I'm on the Coq Zulipchat. My current postal address is: 
LS2N
Université de Nantes
44300 Nantes FRANCE
Valid XHTML 1.1! Valid CSS!