bluesky — 18 Sep 2025
Renaissance Philanthropy have announced the first 29 grants they've given from their AI For Math fund www.renaissancephi…
#proof-assistants #formal-verification #ai-for-math
Renaissance Philanthropy have announced the first 29 grants they've given from their AI For Math fund www.renaissancephilanthropy.org/ai-for-math-... . Interesting to see that around half of the funded proposals mention Lean.