Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edge(github.com)1pointsbylastmjs1 hour ago1comments