https://github.com/opencompl/lean-mlir-old

embedding MLIR in LEAN
https://github.com/opencompl/lean-mlir-old

compilers lean4 llvm mlir

Last synced: 7 months ago
JSON representation

embedding MLIR in LEAN

• Host: GitHub
• URL: https://github.com/opencompl/lean-mlir-old
• Owner: opencompl
• License: apache-2.0
• Archived: true
• Created: 2021-09-15T17:24:57.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2024-06-17T12:17:13.000Z (over 1 year ago)
• Last Synced: 2024-06-20T04:01:19.739Z (over 1 year ago)
• Topics: compilers, lean4, llvm, mlir
• Language: Lean
• Homepage:
• Size: 2.5 MB
• Stars: 47
• Watchers: 3
• Forks: 4
• Open Issues: 9
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# Project moved to https://github.com/opencompl/lean-mlir