- The Netherlands
Block or Report
Block or report mathijshenquet
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK