search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

Project homepage link in readme is outdated #414

Closed waynee95 closed 1 year ago

waynee95 commented 1 year ago

The project homepage link in the readme doesn't work anymore.

https://ts.data61.csiro.au/projects/TS/filesystems.pml.html

zilinc commented 1 year ago

Thanks for the ticket.