lzumot's picture
initial commit
d89ca85 verified
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