Skip to main content

Module output_verification

lean_ctx::core

Module output_verification 

Source

Structs§

VerificationConfig
VerificationResult
VerificationSnapshot
VerificationWarning

Enums§

WarningKind
WarningSeverity

Functions§

stats_snapshot
verify_output