1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);C Benzmüller,2008
2. Chihani, Z., Miller, D., Renaud, F.: Checking foundational proof certificates for first-order logic. In: Blanchette, J., Urban, J. (eds.) Proof Exchange for Theorem Proving. EasyChair, pp. 58–66 (2013)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Codescu,2011
4. Coq Development Team: The Coq proof assistant: reference manual. Technical report INRIA (2015)
5. GLIF Demo.
https://gl.kwarc.info/COMMA/glif-demo-ijcar-2020
. Accessed 27 Jan 2020