sudgy/math-from-nothing

Figure out how to work with `ex_val` in exotic situations

Opened this issue · 0 comments

sudgy commented

Sometimes rewrite_ex_val just doesn't work, and any time I need ex_proof there's no simple way to deal with it.