1 Nov
2022
1 Nov
'22
5:34 p.m.
here’s another https://github.com/evhub/pyprover this one uses coconut which adds syntax sugar to python https://coconut-lang.org/