@specra-lang/ir
v0.1.1
Published
Normalized semantic model and verification planning for Specra.
Readme
@specra-lang/ir
Normalized semantic model and verification planning for Specra.
Use this package to transform a parsed contract into a stable internal model and a verification plan.
