Add support for building proofs using a local recursive resolver