Skip to main content

compile_for_proof

logicaffeine_compile::ui_bridge

Function compile_for_proof 

Source 
pub fn compile_for_proof(input: &str) -> ProofCompileResult
Expand description

Compile English input to ProofExpr for the proof engine.