G github.com Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edge 1 points lastmjs 2 days ago 1 comments
