Cogent

swMATH18522MaRDI QIDQ30361FDOQ30361

Author name not available (Why is that?)

Cited In (2)

• Cogent: uniqueness types and certifying compilation
• A Framework for the Automatic Formal Verification of Refinement from Cogent to C

This page was built for software: Cogent