lean-mlir latest Public Latest
Install from the command line
$ docker pull ghcr.io/opencompl/lean-mlir:latest
linux/amd64
$ docker pull ghcr.io/opencompl/lean-mlir:latest@sha256:d6569756f9a2f7f36fc894196c4149011d120cd2094127b51d1e85820bfecae6
unknown/unknown
$ docker pull ghcr.io/opencompl/lean-mlir:latest@sha256:b757ec034485bb20ac6d06372c1a20ec8ebeb5c467d483157068e4c3c75aaae1
Recent tagged image versions
- 0 Version downloads
Loading
Sorry, something went wrong.
Last published
6 hours ago
Issues
63
Total downloads
![@github-merge-queue[bot]](https://avatars.githubusercontent.com/u/9919?s=64&v=4){kind=small}
