chore(library/init/lean/elaborator): temporarily disable old elaborator until we get the object layout for `name.mk_numeral` right
Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.
doxygen src/Doxyfile