Space: theostos/Babel-proof-translator
title: Babel Proof Translator
sdk: gradio
short_description: Translate proof between Lean 4 and Rocq prover
Tags: gradio, region:us