Martin Suda Vampire First-Order Theorem Prover
highschool was nice, but now we are going university level ;)
Programming can be frustrating.
Good vibes for your inbox! ๐ Once a week.