About Me #
π¨ I explore mathematics π in a multimodal way while having a lot of fun everyday. πΉ
π This blog is a space to learn.
I tutor classical propositional and predicate logic, proofs and tableaux, and I can help with related tasks.