Isabelle

Results: 1487



#Item
11LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:19:25
12SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber   Summer School Marktoberdorf, August 9, 2005

SAT-based Finite Model Generation for Isabelle/HOL Tjark Weber Summer School Marktoberdorf, August 9, 2005

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2005-09-13 07:36:34
13Isabelle/HOL Integrated Theorem Proving Tjark Weber   Cooperation of Deduction Tools Day

Isabelle/HOL Integrated Theorem Proving Tjark Weber Cooperation of Deduction Tools Day

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2006-04-11 08:01:06
14

PDF Document

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:18:35
15

PDF Document

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:19:16
16

PDF Document

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:18:43
17Tobias Nipkow  Programming and Proving in Isabelle/HOL le l

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2018-08-15 07:19:23
18Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Add to Reading List

Source URL: mirror.clarkson.edu

Language: English - Date: 2018-08-15 07:19:21
19Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018

Add to Reading List

Source URL: mirror.clarkson.edu

Language: English - Date: 2018-08-15 07:19:22
20Integrating zChaff with Isabelle/HOL A Fast Decision Procedure for Propositional Logic Tjark Weber

Integrating zChaff with Isabelle/HOL A Fast Decision Procedure for Propositional Logic Tjark Weber

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2005-09-13 07:36:04