Publisher
Springer International Publishing
Reference22 articles.
1. Lecture Notes in Computer Science;J Andronick,2019
2. Avigad, J., de Moura, L., Kong, S.: Theorem Proving in Lean. Carnegie Mellon University (2014)
3. Bancerek, G., et al.: The role of the Mizar Mathematical Library for interactive proof development in Mizar. J. Autom. Reasoning 61(1–4), 9–32 (2018). https://doi.org/10.1007/s10817-017-9440-6
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);T Bourke,2012
5. Buzzard, K., Commelin, J., Massot, P.: Formalising perfectoid spaces. In: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, pp. 299–312. Association for Computing Machinery, New York (2020). https://doi.org/10.1145/3372885.3373830
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalized Functional Analysis with Semilinear Maps;Journal of Automated Reasoning;2024-06
2. Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems;Proceedings of the 21st International Conference on Mining Software Repositories;2024-04-15
3. Solving olympiad geometry without human demonstrations;Nature;2024-01-17
4. A Formalization of Doob’s Martingale Convergence Theorems in mathlib;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
5. Formalising Sharkovsky’s Theorem (Proof Pearl);Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11