Repository navigation

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:990730f80b9d7c2a6ba2957c3d737d4cc6baa6377f70c94242061d94d098d5ae

linux/arm64


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

Recent tagged image versions

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

Published 4 days ago · Digest
sha256:98aca21eb22895f2f5bedb309394477e6136562726fdc5481a07621ba28a059e

4 Version downloads
latest 4.7.0 main-4.7.0 edge-4.7.0

Published 4 days ago · Digest
sha256:9905025fa8258522efeb98389ca29f3d628efd1e7b2afde6d1169b27ab9c223f

0 Version downloads