LemmaScript: A Verification Toolchain for TypeScript via Dafny
Summary
LemmaScript compiles TypeScript to Dafny (or Lean) for verification, keeping the executable pipeline unchanged while adding a complementary path that certifies ...
Description
LemmaScript compiles TypeScript to Dafny (or Lean) for verification, keeping the executable pipeline unchanged while adding a complementary path that certifies ...
Original reporting
AFBytes is a read-only aggregator. Use the original source for full context and complete reporting.
Open original source