Seems you refer to a domain specific language in the annotations. This is exactly what https://github.com/AndreaCensi/contracts https://github.com/AndreaCensi/c

Seems you refer to a domain specific language in the annotations. This is exactly what https://github.com/AndreaCensi/contracts https://github.com/AndreaCensi/contracts does (it's an amazing project but has a very large code base). However, I wanted to achieve something similar in pure python and as compact as possible – so there are compromises (like no real symbolic calculus)