×

Isabelle/Isar

swMATH ID: 2006
Software Authors: Markus Wenzel et. al.
Description: Building formal method tools in the Isabelle/Isar framework ——— siehe Isar sid: 4599
Homepage: http://isabelle.in.tum.de/Isar/
Related Software: Isabelle; Isabelle/HOL; Isar; Coq; HOL; Mizar; Archive Formal Proofs; Sledgehammer; HOL Light; PVS; Proof General; Isabelle/jEdit; ML; Agda; z3; Locales; Theorema; PIDE; ACL2; Isabelle/PIDE
Referenced in: 95 Publications
all top 5

Referenced by 127 Authors

11 Wenzel, Makarius
8 Nipkow, Tobias
6 Wiedijk, Freek
5 Ballarin, Clemens
4 Berghofer, Stefan
4 Maletzky, Alexander
4 Pąk, Karol
4 Wolff, Burkhart
3 Hölzl, Johannes
3 Kahl, Wolfram
3 Kaliszyk, Cezary
3 Marić, Filip
3 Narboux, Julien
3 Paulson, Lawrence Charles
2 Arthan, Rob D.
2 Avigad, Jeremy
2 Berghammer, Rudolf
2 Blanchette, Jasmin Christian
2 Haftmann, Florian
2 Höfner, Peter
2 Hupel, Lars
2 Immler, Fabian
2 Janičić, Predrag
2 Kunčar, Ondřej
2 Lüth, Christoph
2 Parsert, Julian
2 Popescu, Andrei
2 Schlichtkrull, Anders
1 Aboul-Hosn, Kamal
1 Aransay, Jesús
1 Armstrong, Alasdair
1 Aspinall, David
1 Barras, Bruno
1 Bauer, Gertrud
1 Bengtson, Jesper
1 Bezem, Marc
1 Billingsley, William
1 Bortin, Maksym
1 Boutry, Pierre
1 Braibant, Thomas
1 Braun, Gabriel
1 Brinkop, Hauke
1 Brucker, Achim D.
1 Butterfield, Andrew
1 Ciolli, Gianni
1 De Lon, Adrian
1 del Carmen González Huesca, Lourdes
1 Esparza, Javier
1 Ferreira, João Filipe
1 Fleury, Mathias
1 Furusawa, Hitoshi
1 Gast, Holger
1 Gentili, Graziano
1 Geuvers, Jan Herman
1 Gidey, Habtom Kashay
1 Giorgino, Mathieu
1 Grov, Gudmund
1 Guttmann, Walter
1 He, Jifeng
1 Heras, Jónathan
1 Herbelin, Hugo
1 Huffman, Brian
1 Jensen, Alexander Birch
1 Johnsen, Einar Broch
1 Koepke, Peter
1 Kohlhase, Michael
1 Kozen, Dexter C.
1 Krauss, Alexander
1 Křetínský, Jan
1 Kuncak, Viktor
1 Larsen, John Bruntse
1 Leino, K. Rustan M.
1 Li, Liming
1 Li, Qin
1 Lin, Yuhui
1 Lochbihler, Andreas
1 Lorenzen, Anton
1 Maggesi, Marco
1 Marmsoler, Diego
1 Martín-Mateos, Francisco-Jesús
1 Matichuk, Daniel
1 McKinna, James
1 Mehta, Farhad
1 Mendes, Alexandra
1 Meng, Jia
1 Meßner, Florian
1 Müller, Dennis
1 Murray, Toby
1 Németi, István
1 Parrow, Joachim
1 Pascual, Vico
1 Pous, Damien
1 Quigley, Claire
1 Rabe, Florian
1 Régis-Gianas, Yann
1 Richter, Stefan
1 Robinson, Peter
1 Rodríguez-Hortalá, Juan
1 Rubio García, Julio Jesús
1 Schirmer, Norbert W.
...and 27 more Authors

Referencing Publications by Year