refactor(library/init/lean/parser): add `msgs_enabled` flag to control whether parsec combinators create nice error messages or not
Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.
doxygen src/Doxyfile