Hugging Face Space: theostos/LLM4Docq-annotator
Author: theostos
SDK: gradio
title: LLM4Docq Annotator
hf_oauth_scopes: inference-api
short_description: Annotate Rocq code automatically, description ↔ statement