search

pacti-org / pacti

A package for compositional system analysis and design
https://www.pacti.org
BSD 3-Clause "New" or "Revised" License
19 stars 5 forks source link

Issue 246 #250

Closed NicolasRouquette closed 1 year ago

NicolasRouquette commented 1 year ago

tests, type checks and quality checks pass.