There is a newer version of this record available.

Software Open Access

The Coq Proof Assistant

The Coq Development Team


GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
2,925
5,396
views
downloads
All versions This version
Views 2,925334
Downloads 5,396261
Data volume 14.6 GB923.0 MB
Unique views 2,056254
Unique downloads 4,438239

Share

Cite as