Zulip Chat Archive
Stream: lean4
Topic: Lean/Compiler/IR/EmitLLVM.lean is not shown in the docs
Eric Wieser (Oct 23 2024 at 22:59):
Is this expected? Presumably this is because Lean.lean does not import it?
Last updated: Feb 28 2026 at 14:05 UTC
Is this expected? Presumably this is because Lean.lean does not import it?
Last updated: Feb 28 2026 at 14:05 UTC