Renaissance Philanthropy Fund

To transform formal mathematics by converting symbolic and numerical calculations into evidence that is rigorously machine-verifiable

Amount $1,053,555
City Washington, DC
Investigator Johan Commelin

Year 2026
Program Research
Sub-program Economics

Back to grants database

Grant: Renaissance Philanthropy Fund

/grant-detail/g-2026-79525

Johan Commelin