chore(library/eval_helper): put back `eval_helper` support for executing tactics
Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.
doxygen src/Doxyfile
