Professor at University of Kaiserslautern. Does formal verification, automated theorem proving, and programming languages.
-
University of Kaiserslautern
- Germany
- https://anthonywlin.github.io/
Popular repositories Loading
-
Simple-Python-Chess
Simple-Python-Chess PublicForked from lyudmil-mitev/Simple-Python-Chess
A simple python chess game with a seperate board representation/validation and a TkInter GUI
Python
-
-
-
-
word_list_tools
word_list_tools PublicForked from Prooffreader/word_list_tools
Python and pandas tools to perform various analyses on different types of word lists
Python
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.