lean-llvm icon indicating copy to clipboard operation
lean-llvm copied to clipboard

Published 20 hours ago • verified publisher icon GaloisInc

Can I try this out

Open jyizheng opened this issue 4 years ago • 0 comments

I am very interested in this project. Is it possible to provide me with some instructions to build the code and try the examples out?

jyizheng avatar Jul 18 '20 22:07 jyizheng