metareflection/dafny_with_hints
收藏Hugging Face2023-12-08 更新2024-03-04 收录
下载链接：
https://hf-mirror.com/datasets/metareflection/dafny_with_hints
下载链接
链接失效反馈官方服务：
资源简介：
ALERT: this dataset also contains all of the CLOVER dataset
Here is the distribution of hints across the 343 files in this dataset:
Here is the distribution of non-comment code lines across the 343 files in this dataset:
提供机构：
metareflection
