README.md

metadata

title: Lean Prover Validator
emoji: 📈
colorFrom: purple
colorTo: yellow
sdk: docker
pinned: false
license: cc-by-4.0
short_description: 'generate a proof then test it with lean4 '

Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference