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:e96433c930698540a8ec4dc8c21160e0098e596a2d9d71147321bb03ae391468

linux/arm64


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

Recent tagged image versions

latest 4.7.0 main-4.7.0 edge-4.7.0

Published 1 day ago · Digest
sha256:07540f0b6ac76a1a3cec186335e422a9a4b62763a51359a6fd8c6c59a145d74f

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

Published 1 day ago · Digest
sha256:523b99016c44fc3a34e139afc926717e8501b717700cc5b324211cb71f79b70a

0 Version downloads