Author:
Kohlhase Michael,Müller Dennis,Owre Sam,Rabe Florian
Publisher
Springer International Publishing
Reference31 articles.
1. Boespflug, M., Carbonneaux, Q., Hermant, O.: The
$$\lambda \Pi $$
-calculus modulo as a universal proof language. In: Pichardie, D., Weber, T. (eds.) Proceedings of PxTP2012: Proof Exchange for Theorem Proving, pp. 28–43 (2012)
2. Lecture Notes in Computer Science;T Gauthier,2014
3. MathHub PVS Git Repository.
http://gl.mathhub.info/PVS
. Accessed 11 Apr 2017
4. Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. J. Assoc. Comput. Mach. 40(1), 143–184 (1993)
5. Iancu, M., et al.: The Mizar mathematical library in OMDoc: translation and applications. J. Automated Reason. 50(2), 191–202 (2013). doi:
10.1007/s10817-012-9271-4
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献