Archive Formal Proofs swMATH ID: 28613 Software Authors: Blanchette, Jasmin Christian; Haslbeck, Maximilian; Matichuk, Daniel; Nipkow, Tobias Description: Isabelle’s Archive of Formal Proofs (AFP): Mining the Archive of Formal Proofs. The Archive of Formal Proofs is a vast collection of computer-checked proofs developed using the proof assistant Isabelle. We perform an in-depth analysis of the archive, looking at various properties of the proof developments, including size, dependencies, and proof style. This gives some insights into the nature of formal proofs. Homepage: https://www.isa-afp.org Related Software: Isabelle/HOL; Isabelle; Coq; HOL; Sledgehammer; Mizar; Isar; HOL Light; Transfer; Lifting; ML; CeTA; Locales; z3; GitHub; Isabelle/Isar; Nitpick; PVS; seL4; ACL2 Cited in: 202 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Mining the Archive of Formal Proofs. Zbl 1417.68176Blanchette, Jasmin Christian; Haslbeck, Maximilian; Matichuk, Daniel; Nipkow, Tobias 2015 all top 5 Cited by 303 Authors 18 Blanchette, Jasmin Christian 16 Nipkow, Tobias 11 Lammich, Peter 11 Traytel, Dmitry 10 Lochbihler, Andreas 9 Paulson, Lawrence Charles 9 Struth, Georg 7 Grabowski, Adam 7 Guttmann, Walter 7 Thiemann, René 6 Benzmüller, Christoph Ewald 6 Marić, Filip 6 Popescu, Andrei 5 Foster, Simon 4 Basin, David A. 4 Böhme, Sascha 4 Divasón, Jose 4 Felgenhauer, Bertram 4 Fleury, Mathias 4 Schlichtkrull, Anders 4 Sternagel, Christian 4 Wenzel, Makarius 3 Cavalcanti, Ana 3 Coghetto, Roland 3 Eberl, Manuel 3 From, Asta Halkjær 3 Haslbeck, Max W. 3 Joosten, Sebastiaan J. C. 3 Kaliszyk, Cezary 3 Korniłowicz, Artur 3 Koutsoukou-Argyraki, Angeliki 3 Li, Wenda 3 Möller, Bernhard 3 Rabe, Florian 3 Schneider, Joshua P. 3 Sefidgar, S. Reza 3 Villadsen, Jørgen 3 Waldmann, Uwe 3 Woltzenlogel Paleo, Bruno 3 Woodcock, James C. P. 3 Yamada, Akihisa 3 Zankl, Harald 2 Aransay, Jesús 2 Armstrong, Alasdair 2 Bisping, Benjamin 2 Bourke, Timothy 2 Calude, Cristian S. 2 Fuenmayor, David 2 Gouëzel, Sébastien 2 Gunter, Elsa L. 2 Hales, Thomas Callister 2 Haslbeck, Maximilian P. L. 2 Höfner, Peter 2 Holub, Štěpán 2 Hölzl, Johannes 2 Huerta y Munive, Jonathan Julián 2 Hupel, Lars 2 Immler, Fabian 2 Kerber, Manfred 2 Klein, Gerwin 2 Kohlhase, Michael 2 Krauss, Alexander 2 McLaughlin, Sean 2 Middeldorp, Aart 2 Naumowicz, Adam 2 Nestmann, Uwe 2 Obua, Steven 2 Parrow, Joachim 2 Peters, Kirstin 2 Robillard, Simon 2 Solovyev, Alexey 2 Starosta, Štěpán 2 Stucke, Insa 2 Urban, Christian 2 Urban, Josef 2 Weidenbach, Christoph 2 Zumkeller, Roland 1 Adams, Mark 1 Alkassar, Eyad 1 Åman Pohjola, Johannes 1 Ambal, Guillaume 1 Aspinall, David 1 Ausaf, Fahad 1 Back, Ralph-Johan 1 Ballarin, Clemens 1 Bancerek, Grzegorz 1 Barsotti, Damián 1 Bauer, Gertrud 1 Bayer, Jonas 1 Bengtson, Jesper 1 Bentkamp, Alexander 1 Berghammer, Rudolf 1 Berghofer, Stefan 1 Bhatt, Bhargav Nagaraja 1 Blackburn, Patrick 1 Bloem, Roderick 1 Bordg, Anthony 1 Bottesch, Ralph Christian 1 Boutry, Pierre 1 Bouzy, Aymeric ...and 203 more Authors all top 5 Cited in 36 Serials 54 Journal of Automated Reasoning 7 Formal Aspects of Computing 6 Formalized Mathematics 6 Journal of Logical and Algebraic Methods in Programming 3 Theoretical Computer Science 3 Journal of Cryptology 3 Journal of Functional Programming 3 Logical Methods in Computer Science 2 MSCS. Mathematical Structures in Computer Science 2 Experimental Mathematics 2 ACM Transactions on Computational Logic 1 Acta Informatica 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal of Computer and System Sciences 1 Mathematische Annalen 1 Studia Logica 1 Bulletin of the Section of Logic 1 Discrete & Computational Geometry 1 Information and Computation 1 AI Communications 1 Designs, Codes and Cryptography 1 Distributed Computing 1 Formal Methods in System Design 1 Advances in Applied Clifford Algebras 1 Annals of Mathematics and Artificial Intelligence 1 Electronic Communications in Probability 1 Higher-Order and Symbolic Computation 1 Journal of the European Mathematical Society (JEMS) 1 Fundamenta Informaticae 1 Sādhanā 1 Oberwolfach Reports 1 Lecture Notes in Computer Science 1 Logica Universalis 1 The Review of Symbolic Logic 1 Journal of Formalized Reasoning 1 Forum of Mathematics, Pi all top 5 Cited in 25 Fields 180 Computer science (68-XX) 61 Mathematical logic and foundations (03-XX) 11 Combinatorics (05-XX) 8 Number theory (11-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Information and communication theory, circuits (94-XX) 4 Dynamical systems and ergodic theory (37-XX) 4 Geometry (51-XX) 4 Numerical analysis (65-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Convex and discrete geometry (52-XX) 3 Operations research, mathematical programming (90-XX) 2 General and overarching topics; collections (00-XX) 2 Field theory and polynomials (12-XX) 2 Commutative algebra (13-XX) 2 Category theory; homological algebra (18-XX) 2 Ordinary differential equations (34-XX) 2 Probability theory and stochastic processes (60-XX) 1 Algebraic geometry (14-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Functions of a complex variable (30-XX) 1 Operator theory (47-XX) 1 Quantum theory (81-XX) Citations by Year