A tiny Python library/DSL to construct Python formal models

Маленькая библиотека на Python для построения формальных моделей, полезных для прототипирования и внутреннего использования. ПередProduction рекомендуется прове