[LegionMammal978]

Yes, it is all proprietary, but there are still ways to inspect most of the WL-implemented functions since the system does not go to extreme pains to keep them hidden from introspection. It is not unlike Maple in that sense.

[oh_my_goodness]

Yeah, hiding the recipes for how the math is really done would make the whole system kinda guess-and-hope for serious users.