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

Share

Cite as