World Wires · Story 90209 · unverified · 1 Quelle(n)

Show HN: Lasm – Formell verifizierte Webanwendungen in Lean

Ein Entwickler stellte Lasm vor, ein Tool zum Schreiben formell verifizierter Webanwendungen in Lean für Node-, Serverless- und Edge-Umgebungen.

Im Desk öffnen

Berichterstattung

• Show HN: Lasm – Formell verifizierte Webanwendungen in Lean Hacker News front page · Stufe D · Clear Net · 2026-10-30 02:05 UTC

Was diese Seite indexiert