Tom Kalil(@tkalil2050):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.

Tom Kalil

@tkalil2050

CEO, @RenPhilanthropy • Catalyzing breakthrough science through ambitious philanthropy • Fueling a 21st century renaissance

加入 September 2021

1.5K 正在關注 2.5K 粉絲

Tom Kalil@tkalil2050

2026.08.18 15:13

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.