1 unstable release

0.0.0 Oct 28, 2023

#64 in #verifier

MIT license

2KB


Placeholder crate for the Paralegal verifier. See https://github.com/brownsys/paralegal.

No runtime deps