Spaces:

for-all-dev
/

README

Running

README / README.md

Update README.md

14679a0 verified 13 days ago

205 Bytes

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.