Space: theostos/LLM4Docq-annotator
title: LLM4Docq Annotator
sdk: gradio
hf_oauth: yes
hf_oauth_scopes: inference-api
short_description: Annotate Rocq code automatically, description ↔ statement
Tags: gradio, region:us