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