Conference paper Open Access

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

Pit-Claudel, Clément; Courtieu, Pierre

BibTeX Export

@proceedings{pit_claudel_2016_44331,
  title        = {{Company-Coq: Taking Proof General one step closer 
                   to a real IDE}},
  year         = 2016,
  publisher    = {Zenodo},
  month        = jan,
  doi          = {10.5281/zenodo.44331},
  url          = {https://doi.org/10.5281/zenodo.44331}
}
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
More info on how stats are collected.
Indexed in
Publication date:
January 4, 2016
DOI:
10.5281/zenodo.44331

Zenodo DOI Badge

DOI 

10.5281/zenodo.44331

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.44331.svg)](https://doi.org/10.5281/zenodo.44331)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.44331.svg
   :target: https://doi.org/10.5281/zenodo.44331

HTML 

<a href="https://doi.org/10.5281/zenodo.44331"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.44331.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.44331.svg

Target URL 

https://doi.org/10.5281/zenodo.44331

Keyword(s):
IDE documentation proof engineering user experience
Meeting:
CoqPL 2016, St. Petersburg, Florida, United States, 23 January 2016 (Session I, Part 4)
License (for files):
GNU Free Documentation License 1.3 with no cover texts and no invariant sections

Versions

Version 1 10.5281/zenodo.44331 Jan 4, 2016
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.629183. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export