
Episode #2
Formally Verify All Software
<p>The second episode of the Millillion podcast.</p> <p>Jordan Last (lastmjs) announces Lasm, his recently launched project that allows Lean to run almost anywhere that JavaScript or WebAssembly runs today. First he...


