When AI Writes the World's Software, Who Verifies It?
leodemoura.github.io
survey of software verification etc., lean-lang.
survey of software verification etc., lean-lang.