Hugging Face Space: theostos/Babel-ssreflect
Author: theostos
SDK: gradio
title: Babel SSReflect
short_description: Translate vanilla Rocq into SSReflect proof