TUM M.Sc. Informatics graduate | B.Sc. in CS & B.Sc. in Math | I upload research code, projects I do for fun, and maintain a list of offered lectures @ TUM
- Munich
- vincent-buergin.de
Popular repositories Loading
-
TUM-Master-Informatics-Offered-Lectures
TUM-Master-Informatics-Offered-Lectures PublicUser-friendly overview for TUM {MSc. + BSc. Informatics | MSc. DEA | MSc. Information Systems} programs on which lectures grouped by area are actually offered this semester.
-
-
-
Conways-Soldiers-Isabelle
Conways-Soldiers-Isabelle PublicFormalized John Conway's proof that the Conway's Soldiers/Leaping Frog game cannot be won in the Isabelle proof assistant.
Isabelle 1
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.




