Actively Fundraising Recent Activity Full Database

Actively Fundraising Recent Activity Full Database

Resources Apply for funding

grantmaking.ai kickoff grant round$957k / $1M distributed

AI for Formal Software Verification (Contract) | grantmaking.ai

AI for Formal Software Verification (Contract)

Amount: $1,000,000Date 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