[Feature request] Fix Pacti's README

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

Closed iincer closed 1 year ago

iincer commented 1 year ago

The README is outdated. We have to add many things: contact info, links to website, badges, etc.