Datasetpublic

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.

sourceHugging Faceotherupdated 6mo agoView on Hugging Face

0likes33downloads

settings

This repository belongs to ReactorJet on Hugging Face.

CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

namecoq-facts-props-proofs-gen0-v1

visibilitypublic

licenceother

gatedno

ownerReactorJet

Account settings