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: Dec 20 2025 at 21:32 UTC
Is this expected? Presumably this is because Lean.lean does not import it?
Last updated: Dec 20 2025 at 21:32 UTC