Metadata-Version: 2.1
Name: hhlpy
Version: 0.0.4
Summary: Prove hybrid programs correct using Hybrid Hoare Logic
Author: Huanhuan Sheng, Bohua Zhan, Alexander Bentkamp
Project-URL: Homepage, https://gitee.com/bhzhan/mars
Keywords: hhl,hybrid systems,hoare logic
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3
Requires-Python: >=3.9
