Module context_proof 

Structs

ContextProofV1

EvidenceReceipt

LedgerFileSummary

LedgerSummary

ProfileIdentity

ProjectIdentity

ProofDestination

A checked destination for a proof artifact: <project>/.lean-ctx/proofs/<name>.

ProofOptions

ProofSources

ProofStatsSnapshot

RoleIdentity

Functions

collect_v1

proof_destination

The destination for the proof artifact name of project_root.

write_project_proof