A web server that runs impeller jobs on behalf of users. It exposes a declarative HTTP API for requesting impeller results for Lean packages, manages an in-memory job queue, and persists results as JSON to disk.
leanprover/pump
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|