Remix.run Logo
AlotOfReading 8 hours ago

I'm not sure being able to verify that it's vaguely correct really solves the issue. Consider how many edge cases inhabit a "30 sheet, mind-numbingly complicated" Excel document. Verifying equivalence sounds nontrivial, to put it mildly.

Dylan16807 4 hours ago | parent [-]

Consider how many edge cases it misses. Equivalence probably shouldn't be the top priority here.

Nevermark 3 hours ago | parent [-]

Equivalence here would definitely be the worst test, except for all the alternatives.