A tiny Python library/DSL to construct Python formal models

一个微小的Python库/DSL，用于构建形式化模型，适用于原型开发和内部工作流。由于集成信号稀疏，建议在采用前进行人工检查。生产就绪度中等——使用前请验证许可证、维护状态和文档。