motrellin
Studying Computer Science and Mathematics for Education at FAU, focussing towards theoretical computer science and formalizing stuff with Coq.
Erlangen
motrellin's Following
motrellin doesn’t have any following yet.
Studying Computer Science and Mathematics for Education at FAU, focussing towards theoretical computer science and formalizing stuff with Coq.
Erlangen
motrellin doesn’t have any following yet.