@kubaneko

master student at Chalmers something something proof assistants