evaluation-function-base/lean 4.8.0-rc2 Public Latest

Install from the command line


      
  
      
        $ docker pull ghcr.io/lambda-feedback/evaluation-function-base/lean:4.8.0-rc2

linux/amd64


      
  
      
        $ docker pull ghcr.io/lambda-feedback/evaluation-function-base/lean:4.8.0-rc2@sha256:9faa334254bc57f948c6baf4276434319de5ce1ce33fa42d26c6867a1da2a280

linux/arm64


      
  
      
        $ docker pull ghcr.io/lambda-feedback/evaluation-function-base/lean:4.8.0-rc2@sha256:ea34df27b8838a4b8d9bdfdb8d6cadb28ee3b2dcf191dbe104ff25adfc20c1b8

Recent tagged image versions

4.8.0-rc2 main-4.8.0-rc2 edge-4.8.0-rc2

Published 6 days ago · Digest
sha256:35898db7f702e571f7c5dd9048ab70094e1c0e51301c833e090192f4eb0bde74

3 Version downloads
latest 4.7.0 main-4.7.0 edge-4.7.0

Published 6 days ago · Digest
sha256:d45aef7db42baa238ff911d76547dcba4c6b22ef12181c2c2b2929f8c6abe043

4 Version downloads