compile_theorem

logicaffeine_language::compile

Function compile_theorem 

Source 
pub fn compile_theorem(input: &str) -> Result<String, ParseError>
Expand description

Compile and prove a theorem block.