About Max
Studying Computer Science at KIT, very interested in interactive theorem provers :3
Lists
max has no public lists
Timeline
max has no activity yet
Studying Computer Science at KIT, very interested in interactive theorem provers :3
max has no public lists
max has no activity yet