Hacker News new | ask | show | jobs
LemmaScript: A Verification Toolchain for TypeScript via Dafny (midspiral.com)
4 points by namin 54 days ago