Writings
The Era of Provable Software
January 9th, 2025
