ReactorJet/coq-facts-props-proofs-gen0-v1

Dataset Name: Coq Facts, Propositions and Proofs Dataset Description The CoqFactsPropsProofs dataset aims to enhance Large Language Models' (LLMs) proficiency in interpreting and generating Coq code by providing a comprehensive collection of over 10,000 Coq source files. It encompasses a wide array of propositions, proofs, and definitions, enriched with metadata including source references and licensing information. This dataset is designed to facilitate the… See the full description on the dataset page: https://huggingface.co/datasets/ReactorJet/coq-facts-props-proofs-gen0-v1.