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

[Feature request] Clean examples folder #296

Open iincer opened 1 year ago

iincer commented 1 year ago

This folder contains several old items.