A Short Presentation of Coq

@inproceedings{Bertot2008ASP,
  title={A Short Presentation of Coq},
  author={Yves Bertot},
  booktitle={TPHOLs},
  year={2008}
}
Highly Cited
This paper has 24 citations. REVIEW CITATIONS