Dataset Open Access

Simple Dataset for Proof Method Recommendation in Isabelle/HOL

Nagashima, Yutaka


BibTeX Export

@dataset{nagashima_yutaka_2020_3819026,
  author       = {Nagashima, Yutaka},
  title        = {{Simple Dataset for Proof Method Recommendation in 
                   Isabelle/HOL}},
  month        = may,
  year         = 2020,
  note         = {{The corresponding dataset description paper is 
                   under review at the 13th Conference on Intelligent
                   Computer Mathematics (CICM2020). The preprint is
                   available at arXiv.org
                   (https://arxiv.org/abs/2004.10667)}},
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3819026},
  url          = {https://doi.org/10.5281/zenodo.3819026}
}
79
12
views
downloads
All versions This version
Views 7979
Downloads 1212
Data volume 1.5 GB1.5 GB
Unique views 6969
Unique downloads 1111

Share

Cite as