Lib
.rs
›
#
verifier
#
statically
#
ownership
#
dataflow
#
link
#
privacy
#
enforce
paralegal
Owned
by
Justus Adam
.
Install
API reference
Source
Repository link
Home (forms.gle)
1 unstable release
0.0.0
Oct 28, 2023
#
8
in
#enforce
MIT
license
2KB
Placeholder crate for the Paralegal verifier
No runtime deps