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

2 comments

• anonymous9082136 minutes ago
  Oh boy! My favorite thing about vibe coding is when agents write tests that assert whether certain strings exist in the codebase. Now we can formally verify that they do!
• treyd33 minutes ago
  This is wild, I had no idea Lean could be used for things like this.