Thanks to visit codestin.com Credit goes to achammer.dev
currently doing my phd in computational logic at TU Wien under the supervision of Stefan Hetzl
check out my research and cv