BenchFlow
skillsbench-task-env skillsbench-v1.1-lean4-proof-ffc7b000b40a Public Latest
Install from the command line
$ docker pull ghcr.io/benchflow-ai/skillsbench-task-env:skillsbench-v1.1-lean4-proof-ffc7b000b40a
linux/amd64
$ docker pull ghcr.io/benchflow-ai/skillsbench-task-env:skillsbench-v1.1-lean4-proof-ffc7b000b40a@sha256:3026a60ba55d47c601b8daafaa996f8c330291944a0be8ca61826310a92a0ab3
unknown/unknown
$ docker pull ghcr.io/benchflow-ai/skillsbench-task-env:skillsbench-v1.1-lean4-proof-ffc7b000b40a@sha256:77968d03517217af8aefb86a28c7a9a150e87eca1f8e21865549dc5b576d88d6
Recent tagged image versions
- 0 Version downloads
- 0 Version downloads
- 0 Version downloads
- 0 Version downloads
- 0 Version downloads
Loading
Sorry, something went wrong.
Last published
11 days ago
Total downloads