A standard library for formally-verified C — with explicit, composable primitives that can scale.
c embedded cross-platform high-performance c99 verification error-handling header-only memory-safety memory-management type-safety ownership lifetime c-library systems-programming safety-critical explicit result-type optional-type defer-pattern
-
Updated
Nov 14, 2026 - C