I have a Master's degree in pure mathematics from a Canadian university, and a strong background in logic and set theory, as well as a genuine interest in Python programming. I am curious about your project and would love to hear the details. Thanks!