Cogent

MaRDI QIDQ30361swMATHFDO

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