perf(library/init/lean/parser/parsec): make bool_bind_mk_res [inline] Actually improves compilation time more than runtime
Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.
doxygen src/Doxyfile