flâneur

When AI Writes the World's Software, Who Verifies It?

leodemoura.github.io · 5 words · saved by 2 readers

Leonardo de Moura — Creator of Lean and Z3

saved by