Show HN: Lasm – Write formally verified webapps in Lean for Node/serverless/edge

12 points | by lastmjs 2 hours ago

No comments yet