Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference22 articles.
1. Coq development team: The Coq Proof Assistant Reference Manual Version 8.1pl4. INRIA, Orsay (2008)
2. Asperti, A., Sacerdoti Coen, C., Tassi, E., Zacchiroli, S.: User interaction with the Matita proof assistant. J. Autom. Reason. 39, 109–139 (2007) (Special issue on user interfaces for theorem proving)
3. Guidi, F.: The Formal System lambda-delta. ACM Trans. Comput. Log. (2010, in press)
4. Coq development team: The Coq Proof Assistant Reference Manual Version 7.3.1. INRIA, Orsay (2002)
5. LNCS;G Barthe,2001
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Essence of SSReflect;Lecture Notes in Computer Science;2012
2. Nonuniform Coercions via Unification Hints;Electronic Proceedings in Theoretical Computer Science;2011-03-16
3. Declarative Representation of Proof Terms;Journal of Automated Reasoning;2009-06-26