M.Sc. Informatics student @ TUM | B.Sc. Computer Science, B.Sc. Mathematics @ University of Passau
- Munich
Highlights
- Pro
Popular repositories Loading
-
TUM-Master-Informatics-Offered-Lectures
TUM-Master-Informatics-Offered-Lectures PublicMatching the electives in the TUM Informatics master by area with the information if they are actually being 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.