Manifund
Home
Login
About
People
Categories
Newsletter
Home
About
People
Categories
Login
Create
🐸
🐸
Felix Harder
@felix
$0
total balance
$0
charity balance
$0
cash balance
$0 in pending offers
Projects
Formalizing mathematical AI safety research in Lean
Tab:
About Felix
About Felix
By Felix
No comments yet.
Sign in
to create one!
Transactions
For
Date
Type
Amount
Manifund Bank
2 months ago
withdraw
15000
Formalizing mathematical AI safety research in Lean
2 months ago
project donation
+15000
No comments yet. Sign in to create one!