Post #3211641

@ionchy@types.pl proof assistants are SO COOL! when I first learned about them from some Terry Tao video I was like, oh wow, I studied the right thing :)