https://github.com/leanprover/lean-llvm
Custom-built LLVM toolchain for use in Lean 4
https://github.com/leanprover/lean-llvm
Last synced: 3 months ago
JSON representation
Custom-built LLVM toolchain for use in Lean 4
- Host: GitHub
- URL: https://github.com/leanprover/lean-llvm
- Owner: leanprover
- Created: 2021-10-21T10:32:28.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2025-02-11T22:57:25.000Z (over 1 year ago)
- Last Synced: 2025-02-12T03:47:34.266Z (over 1 year ago)
- Homepage:
- Size: 43 KB
- Stars: 6
- Watchers: 17
- Forks: 5
- Open Issues: 1
-
Metadata Files: