Skip to main content

is_admitted_axiom

logicaffeine_kernel::prelude

Function is_admitted_axiom 

Source 
pub fn is_admitted_axiom(name: &str) -> bool
Expand description

Whether a name marks an admitted (not proved) step.