Datasetpublic

hath995/DafnyGithub-Dataset

Dafny GitHub Dataset A corpus of publicly available Dafny (.dfy) source code crawled from GitHub, packaged as JSONL for model training and analysis. Dafny is a verification-aware programming language with built-in specification constructs (pre/postconditions, invariants, assert/assume) checked by an SMT solver. 106,404 unique-by-content .dfy files 966 source repositories (of 1,018 discovered; forks excluded) 753 MB of source (stored as ~44 MB of zstd Parquet), median 5 files… See the full description on the dataset page: https://huggingface.co/datasets/hath995/DafnyGithub-Dataset.

sourceHugging Faceotherupdated 2mo agoView on Hugging Face

0likes25downloads

settings

This repository belongs to hath995 on Hugging Face.

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

nameDafnyGithub-Dataset

visibilitypublic

licenceother

gatedno

ownerhath995

Account settings