Software Open Access

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

Emily First; Yuriy Brun; Arjun Guha


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
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