@isl-lang/proof
v1.0.0
Published
ISL Proof Bundle - verifiable proof that spec is satisfied
Readme
@isl-lang/proof
TODO: Add description
Installation
pnpm add @isl-lang/proofUsage
import {} from '@isl-lang/proof';API
TODO: Document public API.
Development
pnpm build # Build the package
pnpm test # Run tests
pnpm typecheck # Type-check without emit
pnpm clean # Remove dist/License
MIT
