opencompl/lean-mlir-old

Readme
Issues
Stargazers
Watchers

Finish proof of rewriter

Opened this issue 2 years ago · 0 comments

bollu commented 2 years ago

Finish proof of rewriter

Topics

lean4 mlir llvm compilers

Share to

Contact site admin: Geeks.