Dataset Open Access

Simple Dataset for Proof Method Recommendation in Isabelle/HOL

Nagashima, Yutaka


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
80
12
views
downloads
All versions This version
Views 8080
Downloads 1212
Data volume 1.5 GB1.5 GB
Unique views 7070
Unique downloads 1111

Share

Cite as