TypeScript/JavaScript library for K Framework functionality
npm install @runtimeverificationinc/tsk
Please install bun.
``bash$ bun install`
bash$ bun install
`bash$ bun test`
bash$ bun test
`bash$ bun run build``
bash$ bun run build