Stealth

Formally verified programming language and compiler for serverless computing.