Tom Kalil
@tkalil2050
CEO, @RenPhilanthropy • Catalyzing breakthrough science through ambitious philanthropy • Fueling a 21st century renaissance
1.5K Following 2.5K Followers
Excited to announce the launch of the CSLib Initiative! This will do for CS what Mathlib is doing for math, and enable formal verification of software. Thanks to @coeff_giving for their support. I hope other funders will also support it, and help us formalize other fields.
Show more
