Conference paper Open Access

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

Pit-Claudel, Clément; Courtieu, Pierre


JSON-LD (schema.org) Export

{
  "description": "<p>Company-Coq is a new Emacs package that extends Proof General with a contextual auto-completion engine for Coq proofs and many additional facilities to make writing proofs easier and more efficient. Beyond fuzzy auto-completion of tactics, options, module names, and local definitions, company-coq offers offline in-editor documentation, convenient snippets, and multiple other Coq-specific IDE features. The system will be presented at CoqPL 2016, focusing on a live demo with an emphasis on writing proofs in Emacs more efficiently, and a discussion of desirable features of proof-oriented development environments. https://github.com/cpitclaudel/company-coq</p>", 
  "license": "https://opendefinition.org/licenses/gfdl", 
  "creator": [
    {
      "affiliation": "MIT CSAIL", 
      "@type": "Person", 
      "name": "Pit-Claudel, Cl\u00e9ment"
    }, 
    {
      "affiliation": "CNAM, Lab. C\u00e9dric", 
      "@type": "Person", 
      "name": "Courtieu, Pierre"
    }
  ], 
  "headline": "Company-Coq: Taking Proof General one step closer to a real IDE", 
  "image": "https://zenodo.org/static/img/logos/zenodo-gradient-round.svg", 
  "datePublished": "2016-01-04", 
  "url": "https://zenodo.org/record/44331", 
  "@type": "ScholarlyArticle", 
  "keywords": [
    "IDE", 
    "documentation", 
    "proof engineering", 
    "user experience"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.44331", 
  "@id": "https://doi.org/10.5281/zenodo.44331", 
  "workFeatured": {
    "url": "http://conf.researchr.org/home/CoqPL-2016", 
    "location": "St. Petersburg, Florida, United States", 
    "@type": "Event", 
    "name": "CoqPL 2016"
  }, 
  "name": "Company-Coq: Taking Proof General one step closer to a real IDE"
}
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