metadata
title: Prover
emoji: 💻🐳
colorFrom: gray
colorTo: green
sdk: docker
pinned: false
tags:
- jupyterlab
suggested_storage: small
license: apache-2.0
Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference