Repository

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

Project Slug

cogent

Last Built

1 month, 1 week ago passed

Maintainers

Home Page

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

Badge

Tags

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

Short URLs

cogent.readthedocs.io
cogent.rtfd.io

Default Version

latest

'latest' Version

master