# A Typed C11 Semantics for Interactive Theorem Proving

> Research article (Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015) · cited 31× · AI/ML

**Wikidata**: [openalex:W2126421682](https://www.wikidata.org/wiki/openalex:W2126421682)  
**Source**: https://4ort.xyz/entity/a-typed-c11-semantics-for-interactive-theorem-proving