% Encoding: UTF8 @InProceedings{CompanyCoq2016, 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 = {http://hdl.handle.net/1721.1/101149} }