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:64b8ab550174c641a9c0450a4011081ee5298bfc807dd8e93fd3fecefad49ba3

linux/arm64


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

Recent tagged image versions

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

Published 9 days ago · Digest
sha256:db1235f7b50e55594056eae45c72c6a197964d9ab1fec8838f95a8f44f27e7ac

2 Version downloads
latest 4.7.0 main-4.7.0 edge-4.7.0

Published 9 days ago · Digest
sha256:3bb5c8f18f0c693733b8782053d04a5ecd68aa695340f1a264814d664ec69fdc

0 Version downloads