' Verifiable C
Andrew W. Appel, Lennart Beringer, and Qinxiang Cao

Verified Software Toolchain
 

Version 2.0 (2026-01-07 13:39, Rocq 9.0.0)
Compatible with VST 2.16