Hugging Face Space: theostos/Babel-proof-translator
Author: theostos
SDK: gradio
title: Babel Proof Translator
short_description: Translate proof between Lean 4 and Rocq prover