feat(src/frontends/lean/decl_util): ignore out_params when deciding whether to include an anonymous inst implicit section variable
Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.
doxygen src/Doxyfile