Formalstack is rethinking the computing stack for serverless applications, focusing on elastic, soundly isolated, and globally available execution
Formalstack is rethinking the computing stack for serverless applications, focusing on elastic, soundly isolated, and globally available execution. They leverage formal verification and compilers to build a new programming language and infrastructure for serverless networking.