opencompl / lean-mlir-oldLinks

embedding MLIR in LEAN
47Updated 11 months ago

Alternatives and similar repositories for lean-mlir-old

Users that are interested in lean-mlir-old are comparing it to the libraries listed below

Sorting: