Type Theory, Program Verification, Theorem Proving, Specification Languages
Measuring the Impact of Early-2025 AI on Experienced Open-Source Developer Productivity
simonwillison.net·17h
Loading...Loading more...
Type Theory, Program Verification, Theorem Proving, Specification Languages