nunchaku icon indicating copy to clipboard operation
nunchaku copied to clipboard

Published 20 hours ago • verified publisher icon nunchaku-inria

warning for partially defined functions

Open c-cube opened this issue 6 years ago • 0 comments

in Elim_multi_eqns, emit warning if some cases are undefined (and print corresponding input pattern)

c-cube avatar Apr 03 '18 22:04 c-cube