Skip to content
here you go
Things I’ve made, read and saved — shared here.
Posts
Topics
Archive
Discover
Add
Ask
Review
Tags & folders
Trash
Import
Export
Housekeeping
Changelog
Help
Log out
Topics
›
#verification
#verification
1 link.
Links
Open in the Archive
When AI Writes the World's Software, Who Verifies It?
leodemoura.github.io
·
2026-03-03
·
Page
survey of software verification etc., lean-lang.