% Encoding: UTF-8

@InProceedings{CompanyCoq+CoqPL2016,
  Title                    = {{Company-Coq}: Taking {Proof General} one step closer to a real {IDE}},
  Author                   = {Pit-Claudel, Clément and Courtieu, Pierre},
  Booktitle                = {CoqPL'16: The Second International Workshop on Coq for PL},
  Year                     = {2016},
  Month                    = jan,
  Doi                      = {10.5281/zenodo.44331},
  Url                      = {https://hdl.handle.net/1721.1/101149}
}