Conference paper Open Access

Company-Coq: Taking Proof General one step closer to a real IDE

Pit-Claudel, Clément; Courtieu, Pierre


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
470
174
views
downloads
All versions This version
Views 470470
Downloads 174174
Data volume 66.9 MB66.9 MB
Unique views 456456
Unique downloads 166166

Share

Cite as