# content
Closing Keynote with Leslie Lamport at SCALE 22x: Coding isn't programming (via amirouche) — discussion

#formalmethods #practices