Utility functions

does_thmhold(hold)

Check if hold is true.

Examples

julia> does_thmhold(true)
Theorem holds! 😀️

julia> does_thmhold(false)
Theorem does not holds! 😱️

@code_md(expr)

Return the source code for evaluating expr in markdown form.