Lasm: Lean으로 정형 검증된 웹 앱 작성, Node·서버리스·엣지 환경에 배포Lasm: Write formally verified web apps in Lean, deploy to Node, serverless, edge▲ 1 · github.com · 4일 전 · 1 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…