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