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.
