Skip to main content

METHOD

logicaffeine_kernel::interface::lean::native_decide

Constant METHOD 

Source 
pub const METHOD: &str = "kernel_evaluation";
Expand description

How a disclosed step was re-derived.