I made a python port

[Ahmed Khalf]

Hello!
Thank you for making this app! I would like to inform you that I made a python port of your app and turned it into a library.
Please consider linking it in the readme.

https://github.com/ahmedkhalf/TheProofIsTrivial