The Coq-HoTT Q&A Dataset is a conversational extension of the Coq-HoTT Dataset, derived directly from the Coq-HoTT GitHub repository (https://github.com/HoTT/Coq-HoTT). This dataset transforms Homotopy Type Theory (HoTT) content into structured Q&A pairs, bridging the gap between formal mathematics and conversational AI.
Each entry in the dataset represents a mathematical statement, such as a definition or theorem, converted into a… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Coq-HoTT-QA.
