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

(github.com)

16 points | by lastmjs 3 hours ago ago

No comments yet.