pub fn theorem_verdict(r: &TheoremCompileResult) -> Result<String, String>Expand description
The canonical rendering of a theorem run — shared by the Run button and the test harness, so the locked expected output IS what the reader sees.
pub fn theorem_verdict(r: &TheoremCompileResult) -> Result<String, String>The canonical rendering of a theorem run — shared by the Run button and the test harness, so the locked expected output IS what the reader sees.