Skip to main content

Module context_proof

lean_ctx::core

Module context_proof 

Source

Structs§

ContextProofV1
EvidenceReceipt
LedgerFileSummary
LedgerSummary
ProfileIdentity
ProjectIdentity
ProofOptions
ProofSources
ProofStatsSnapshot
RoleIdentity

Functions§

collect_v1
proof_stats_snapshot
write_project_proof