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:3eaa7b83acaab8509657fdd0fa4e15eeec93f37c5621f3a64878a3e6eb251fd8

linux/arm64


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

Recent tagged image versions

latest 4.7.0 main-4.7.0 edge-4.7.0

Published about 16 hours ago · Digest
sha256:1f4dccc3352bbce28ef66ef9c637a9d5e28af5149cfe765b910cb86b8a7c0cdd

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

Published about 16 hours ago · Digest
sha256:9a93d1dac0d46c76bfa4dd4d53b26c09de8ca45ac7fc5fd66fc4b0d2a5f23fd4

0 Version downloads