FORMAL

Data Operating System

Formal is a venture-backed startup building the operating system for data of the modern company.