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