Add support for building proofs using a local recursive resolver
-rw-r--r-- 828 Cargo.toml
-rw-r--r-- 11357 LICENSE-APACHE
-rw-r--r-- 1023 LICENSE-MIT
-rw-r--r-- 694 LICENSE.md
drwxr-xr-x - src