Apply to our funding round
Apply
← All grants
AI for Formal Software Verification (Contract)
Amount:
$1,000,000
Date Awarded:
May 22, 2025
Details
Funder
Coefficient Giving
Recipient
Theorem Labs
Purpose
-
Source
https://theoremlabs.com/careers/
Metadata
Created
Mar 20, 2026, 2:35 AM UTC
AI for Formal Software Verification (Contract) | grantmaking.ai