1 items across the graph — tagged with Lemmascript.
verification toolchain for TypeScript (Tech Preview)
