[ot][spam][crazy][random] numbers symbols arithmetic math

[Undescribed Horrific Abuse, One Victim & Survivor of Many]

here’s another
https://github.com/evhub/pyprover

this one uses coconut which adds syntax sugar to python
https://coconut-lang.org/