Curv
ComFreek
ComFreek
Research assistant, computer science M.Sc. I like knowledge representation methods for logics, type theories, math. Hobbywise, I dabble in Coq; fancies Scal
@KWARC Germany
Michael Sumner
mdsumner
no names have an anonymous function
Integrated Digital East Antarctica, Australian Antarctic Division Hobart, Australia
