Skip to main content

lean4_check

oxilean_std::string::functions

Function lean4_check 

Source 
pub fn lean4_check(expr: &str) -> String
Expand description

Format a Lean 4 #check command string.