evaluation-function-base/lean edge-4.7.0 Public Latest

Install from the command line


      
  
      
        $ docker pull ghcr.io/lambda-feedback/evaluation-function-base/lean:edge-4.7.0

linux/amd64


      
  
      
        $ docker pull ghcr.io/lambda-feedback/evaluation-function-base/lean:edge-4.7.0@sha256:ba2677bcf579b960fb357ccf2f3cd18f0c518e1aefe52aa8dd9897509bf8ef46

linux/arm64


      
  
      
        $ docker pull ghcr.io/lambda-feedback/evaluation-function-base/lean:edge-4.7.0@sha256:63c26b06c18f0428ab48b52b693661914ebf87e8ba11c75782ad576a055fab19

Recent tagged image versions

edge-4.7.0

Published about 22 hours ago · Digest
sha256:9d895c2f16a87d03f8429ead9c6a9d2eec368ced63fbd5f1da1ff2e02521b05a

0 Version downloads
4.8.0-rc2 main-4.8.0-rc2 edge-4.8.0-rc2

Published about 22 hours ago · Digest
sha256:92f904f729cf45dfed8da124dd483b927c8a9485856d72b481de3e8a835df2e6

0 Version downloads
latest 4.7.0 main-4.7.0

Published about 23 hours ago · Digest
sha256:dcfd2f6620a8b60d098244244aaf2f4a6804f10464ef154f2a83024d7d978930

0 Version downloads