Code

feat: LLVM 15 -> 19#6063

Code

Open

Kha wants to merge 1 commit intomasterleanprover/lean4:masterfrom llvm19leanprover/lean4:llvm19Copy head branch name to clipboard

+10-10

Commits

Commits on Dec 15, 2024

• feat: LLVM 15 -> 19

  

  Kha

  authored and

  hargoniX

  committed
  c6761cd