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