Hacker Next
Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edgegithub.com
38 points by lastmjs 4 days ago | 22 comments