Theorem — Verified Software Stack

What it is

A research and engineering effort working toward a shared, formally verified software stack built up from its smallest pieces, starting with verified sandboxes that AI agents cannot escape or game.

Topics