×

Isabelle/Isar

swMATH ID: 2006
Software Authors:
Description: Building formal method tools in the Isabelle/Isar framework ——— siehe Isar sid: 4599
Homepage: http://isabelle.in.tum.de/Isar/
Related Software: Isabelle/HOL; Isabelle; Isar; Coq; HOL; Mizar; Archive Formal Proofs; Sledgehammer; HOL Light; PVS; Proof General; ML; Isabelle/jEdit; z3; kepler98; Agda; Locales; Nominal Isabelle; ACL2; PIDE
Cited in: 110 Documents
all top 5

Cited by 149 Authors

11 Wenzel, Makarius
8 Nipkow, Tobias
6 Wiedijk, Freek
5 Ballarin, Clemens
5 Pąk, Karol
4 Berghofer, Stefan
4 Kaliszyk, Cezary
4 Maletzky, Alexander
4 Paulson, Lawrence Charles
4 Wolff, Burkhart
3 Fleuriot, Jacques D.
3 Hölzl, Johannes
3 Kahl, Wolfram
3 Marić, Filip
3 Narboux, Julien
3 Schlichtkrull, Anders
2 Arthan, Rob D.
2 Avigad, Jeremy
2 Berghammer, Rudolf
2 Bisping, Benjamin
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 Marmsoler, Diego
2 Montanari, Luisa
2 Palmer, Jake E.
2 Parsert, Julian
2 Plump, Detlef
2 Popescu, Andrei
2 Schmoetten, Richard
2 Söldner, Robert
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 Blakqori, Genc
1 Bøgsted Poulsen, Danny
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 Diaz, Javier
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 Hales, Thomas Callister
1 He, Jifeng
1 Heras, Jónathan
1 Herbelin, Hugo
1 Hernández-Orozco, Santiago
1 Hernández-Quiroz, Francisco
1 Huffman, Brian J.
1 Jeltsch, Wolfgang
1 Jensen, Alexander Birch
1 Johnsen, Einar Broch
1 Ketland, Jeffrey
1 Koepke, Peter
1 Kohlhase, Michael
1 Kozen, Dexter C.
1 Krauss, Alexander
1 Křetínský, Jan
1 Kulczynski, Mitja
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 Lotz, Kevin
1 Maggesi, Marco
1 Martín-Mateos, Francisco-Jesús
1 Matichuk, Daniel
1 McKinna, James
1 Mehta, Farhad
...and 49 more Authors

Citations by Year