×

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; Lifting; Transfer; Isar; GitHub; HOL Light; Locales; CeTA; ML; z3; Nitpick; Isabelle/Isar; kepler98; ACL2; PVS
Cited in: 250 Documents
all top 5

Cited by 368 Authors

19 Blanchette, Jasmin Christian
19 Nipkow, Tobias
14 Lammich, Peter
12 Paulson, Lawrence Charles
11 Lochbihler, Andreas
11 Traytel, Dmitry
10 Struth, Georg
9 Guttmann, Walter
8 Thiemann, René
7 Grabowski, Adam
7 Popescu, Andrei
6 Benzmüller, Christoph Ewald
6 Marić, Filip
5 Divasón, Jose
5 Foster, Simon
5 Schlichtkrull, Anders
5 Wenzel, Makarius
4 Basin, David A.
4 Böhme, Sascha
4 Eberl, Manuel
4 Felgenhauer, Bertram
4 Fleury, Mathias
4 From, Asta Halkjær
4 Joosten, Sebastiaan J. C.
4 Kaliszyk, Cezary
4 Koutsoukou-Argyraki, Angeliki
4 Sternagel, Christian
4 Villadsen, Jørgen
4 Waldmann, Uwe
3 Cavalcanti, Ana
3 Coghetto, Roland
3 Fuenmayor, David
3 Haslbeck, Max W.
3 Haslbeck, Maximilian P. L.
3 Holub, Štěpán
3 Hölzl, Johannes
3 Immler, Fabian
3 Korniłowicz, Artur
3 Li, Wenda
3 Middeldorp, Aart
3 Möller, Bernhard
3 Rabe, Florian
3 Schneider, Joshua P.
3 Sefidgar, S. Reza
3 Sickert, Salomon
3 Starosta, Štěpán
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 Brunner, Julian
2 Calude, Cristian S.
2 Charron-Bost, Bernadette
2 Dahmen, Sander R.
2 de Monterno, Louis Penet
2 Edmonds, Chelsea
2 Esparza, Javier
2 Fleuriot, Jacques D.
2 Gomes, Victor B. F.
2 Gouëzel, Sébastien
2 Gunter, Elsa L.
2 Hales, Thomas Callister
2 Höfner, Peter
2 Huch, Fabian
2 Huerta y Munive, Jonathan Julián
2 Huisman, Marieke
2 Kerber, Manfred
2 Klein, Gerwin
2 Kohlhase, Michael
2 Krauss, Alexander
2 Lewis, Robert Y.
2 McLaughlin, Sean
2 Merz, Stephan
2 Naumowicz, Adam
2 Nestmann, Uwe
2 Obua, Steven
2 Oortwijn, Wytse
2 Pąk, Karol
2 Parrow, Joachim
2 Peters, Kirstin
2 Raška, Martin
2 Serrano Suárez, Fabián Fernando
2 Solovyev, Alexey
2 Stucke, Insa
2 Tourret, Sophie
2 Urban, Christian
2 Urban, Josef
2 van Doorn, Floris
2 Weidenbach, Christoph
2 Wimmer, Simon
2 Zumkeller, Roland
1 Adams, Mark
1 Ahrens, Benedikt
1 Alkassar, Eyad
1 Altisen, Karine
1 Åman Pohjola, Johannes
1 Ambal, Guillaume
...and 268 more Authors

Citations by Year