ComFreek

icon indicating a website link http://stackoverflow.com/users/603003/comfreek

icon company @KWARC icon location Germany icon location Research assistant, computer science M.Sc. I like knowledge representation methods for logics, type theories, math. Hobbywise, I dabble in Coq; fancies Scal

Results 0 repositories owned by ComFreek