GitHub - leanprover/lean-llvm: Custom-built LLVM toolchain for use in Lean 4 · GitHub

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows

About

Custom-built LLVM toolchain for use in Lean 4

Custom properties

8 stars

13 watching

Report repository

Releases

Packages

Used by

Contributors