Ask HN: Is code assisting your intelligence?

Pen and paper assist working memory; books assist long-term memory; it seems comouters can assist our reasoning - but do they?

I don't mean code that assists us to write code, but that assists us to reason. Maybe along the lines of proof assistants (e.g. coq or lean).

[ Of course, if you say that a program is a form of reasoning, then assisting programming is assisting reason... but that's more a John Searl's "Chinese Room", where the intelligence being assisted is not yours. ]