Spaces:

theostos
/

Babel-proof-translator

Sleeping

App Files Files Community

Babel-proof-translator / README.md

theostos

Update README.md

03dae87 verified about 2 months ago

preview code

raw

history blame contribute delete

308 Bytes

A newer version of the Gradio SDK is available: 6.1.0

Upgrade

metadata

title: Babel Proof Translator
emoji: 💻
colorFrom: yellow
colorTo: blue
sdk: gradio
sdk_version: 5.49.1
app_file: app.py
pinned: false
short_description: Translate proof between Lean 4 and Rocq prover

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