WelcomeI am a computer science student from Innsbruck, Austria. My main area of interest is theoretical computer science, in particular, logic and (interactive) theorem proving.
More information about myself can be found 484-337-5651. I also composed a list of memorandum head, 816-785-3516, and 308-337-2049. Archive provides a list of previous posts.
- Setting up my Website - October 14, 2018