Author:
Gonthier Georges,Asperti Andrea,Avigad Jeremy,Bertot Yves,Cohen Cyril,Garillot François,Le Roux Stéphane,Mahboubi Assia,O’Connor Russell,Ould Biha Sidi,Pasca Ioana,Rideau Laurence,Solovyev Alexey,Tassi Enrico,Théry Laurent
Publisher
Springer Berlin Heidelberg
Reference40 articles.
1. Appel, K., Haken, W.: Every map is four colourable. Bulletin of the American Mathematial Society 82, 711–712 (1976)
2. Lecture Notes in Computer Science;M. Armand,2011
3. Aschbacher, M.: Finite Group Theory. Cambridge Studies in Advanced Mathematics. Cambridge University Press (2000)
4. Avigad, J.: Type inference in mathematics. Bulletin of the European Association for Theoretical Computer Science, EATCS (106), 78–98 (2012)
5. Avigad, J., Harrison, J.: Formally verified mathematics. To appear in the Communications of the ACM
Cited by
181 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The formal verification of the ctm approach to forcing;Annals of Pure and Applied Logic;2024-05
2. Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms;Electronic Proceedings in Theoretical Computer Science;2024-04-23
3. Introducing Hypothesis Descriptions;Research Ideas and Outcomes;2024-02-01
4. Formalizing the ∞-Categorical Yoneda Lemma;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
5. Formalizing Giles Gardam’s Disproof of Kaplansky’s Unit Conjecture;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09