Repository

https://github.com/au-ts/cogent

Project Slug

cogent

Last Built

1 year, 3 months ago passed

Maintainers

Home Page

https://trustworthy.systems/projects/TS/cogent.pml

Badge

Tags

co-generation, file-systems, isabelle-hol, programming-languages, verification

Short URLs

cogent.readthedocs.io
cogent.rtfd.io

Default Version

latest

'latest' Version

master