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: May 02 2025 at 03:31 UTC