Zulip Chat Archive
Stream: lean4 dev
Topic: Unresolved symbols
Tom (Sep 26 2022 at 03:31):
@Siddharth Bhat - I am back from holiday; are you still running into the symbol issues with LLVM?
Sebastian Ullrich (Sep 26 2022 at 07:44):
It turns out that moving to LLVM 15 fixes the issue, so I think we can work from there https://github.com/leanprover/lean-llvm/commit/31fff4c086e880ec35eb1f5b0257bf7ee3354b21
Last updated: May 02 2025 at 03:31 UTC