Space: theostos/Babel-ssreflect
title: Babel SSReflect
sdk: gradio
short_description: Translate vanilla Rocq into SSReflect proof
Tags: gradio, region:us