Manifund foxManifund
Home
Login
About
People
Categories
Newsletter
HomeAboutPeopleCategoriesLoginCreate
🐸
🐸
Felix Harder

@felix

$0total balance
$0charity balance
$0cash balance

$0 in pending offers

Projects

Formalizing mathematical AI safety research in Lean

Transactions

ForDateTypeAmount
Manifund Bank11 days agowithdraw15000
Formalizing mathematical AI safety research in Lean12 days agoproject donation+15000