hhlpy (pypi): Prove hybrid programs correct using Hybrid Hoare Logic
Keywords: hhl|hybrid systems|hoare logic