# content
Xavier Leroy on programming, languages and formal verification (via xvw) — discussion

#formalmethods #ml #video