Cogent

swMATH18522MaRDI QIDQ30361FDOQ30361

Author name not available (Why is that?)

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

Source code repository: https://github.com/au-ts/cogent/tree/itp_2016

Cited In (5)

• Cogent: uniqueness types and certifying compilation
• A framework for the automatic formal verification of refinement from \textsc{Cogent} to C
• Knuth Morris Pratt
• AutoCorres
• IMP2_Binary_Heap

This page was built for software: Cogent