---
title: README
emoji: ⚡
colorFrom: purple
colorTo: indigo
sdk: static
pinned: false
---

Forall R&D is responsible for guiding AI safety businesses and nonprofits through the formal methods explosion.