Skip to content

docs: note lean_exe libstdc++ link failure on Linux (see #196) - #197

Closed
ide-developer wants to merge 1 commit into
lean-dojo:mainfrom
ide-developer:fix/linux-exe-libstdcxx-link-notes
Closed

docs: note lean_exe libstdc++ link failure on Linux (see #196)#197
ide-developer wants to merge 1 commit into
lean-dojo:mainfrom
ide-developer:fix/linux-exe-libstdcxx-link-notes

Commits

  1. Commits on Aug 16, 2026