Lean 4 and cached Mathlib setup for Prove2Me missions
[email protected]| Type | Required | Description | |
|---|---|---|---|
com.docker.sandbox/network-policy@1 | Required | — | |
com.docker.sandbox/lifecycle@1 | Required | — | |
com.docker.sandbox/agent-context@1 | Required | — | |
sbx run <agent> --kit davidnet/prove2me-mixin:0.1.2Run the following command to install sbx on your machine.
brew install docker/tap/sbxwinget install Docker.sbx