Software Open Access

Replication package for "TacTok: Semantics-aware proof synthesis"

Emily First; Yuriy Brun; Arjun Guha


BibTeX Export

@software{emily_first_2020_4088897,
  author       = {Emily First and
                  Yuriy Brun and
                  Arjun Guha},
  title        = {{Replication package for "TacTok: Semantics-aware 
                   proof synthesis"}},
  month        = oct,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {1.0.0},
  doi          = {10.5281/zenodo.4088897},
  url          = {https://doi.org/10.5281/zenodo.4088897}
}
196
117
views
downloads
All versions This version
Views 196196
Downloads 117117
Data volume 1.5 TB1.5 TB
Unique views 173173
Unique downloads 3838

Share

Cite as