logicaffeine_proof/

tactic_cert.rs

//! Certificate producers and independent checkers shared with the kernel rechecker.

pub use logicaffeine_kernel::tactic_cert::*;