evaluation-function-base/lean latest Public Latest

Install from the command line


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

linux/amd64


      
  
      
        $ docker pull ghcr.io/lambda-feedback/evaluation-function-base/lean:latest@sha256:c98a9351091d333e3e2d5c7e4257b4bc96fea28b676fac41efbe54a32d7919a4

linux/arm64


      
  
      
        $ docker pull ghcr.io/lambda-feedback/evaluation-function-base/lean:latest@sha256:8cd0394a9d92c4ba663acfe52ef3f3c320de7634dd37d79d5ce780962f303a7d

Recent tagged image versions

latest 4.7.0 main-4.7.0 edge-4.7.0

Published 11 days ago · Digest
sha256:ad69c0c1fb50db271c2b301aad2804e63dffe9041f0684cb173298f6f12f044a

5 Version downloads
4.8.0-rc2 main-4.8.0-rc2 edge-4.8.0-rc2

Published 11 days ago · Digest
sha256:987e22b231f52795d1f9b0f95add8e625b38a0bab0195c1476656fb9670d7a0e

3 Version downloads