Author:
Asperti Andrea,Ricciotti Wilmer,Sacerdoti Coen Claudio,Tassi Enrico
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Asperti, A., Armentano, C.: A page in number theory. Journal of Formalized Reasoning 1, 1–23 (2008)
2. Lecture Notes in Computer Science;A. Asperti,2006
3. Lecture Notes in Computer Science;A. Asperti,2009
4. Lecture Notes in Computer Science;A. Asperti,2009
5. Asperti, A., Coen, C.S., Tassi, E., Zacchiroli, S.: User interaction with the Matita proof assistant. J. Autom. Reasoning 39(2), 109–139 (2007)
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Aesop: White-Box Best-First Proof Search for Lean;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
2. Admissible Types-to-PERs Relativization in Higher-Order Logic;Proceedings of the ACM on Programming Languages;2023-01-09
3. A Formal System for the Universal Quantification of Schematic Variables;ACM Transactions on Computational Logic;2022-01-31
4. Verified programming of Turing machines in Coq;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
5. Validating Mathematical Structures;Automated Reasoning;2020