Isabelle

Results: 1487



#Item
1LATEX 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: www.cl.cam.ac.uk

Language: English - Date: 2018-08-15 07:19:25
2Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber

Bounded Model Generation for Isabelle/HOL Using a SAT Solver Tjark Weber

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2005-09-13 07:35:24
3Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber

Integrating a SAT Solver with an LCF-style Theorem Prover A Fast Decision Procedure for Propositional Logic for the Isabelle System Tjark Weber

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2005-09-13 07:36:26
4

PDF Document

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:19:12
5Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very

Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very

Add to Reading List

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

Language: English - Date: 2018-08-15 07:18:36
6

PDF Document

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:19:20
7Tobias 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: mirror.clarkson.edu

Language: English - Date: 2018-08-15 07:19:23
8Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:19:09
9

PDF Document

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2018-08-15 07:19:26
10Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.)   First Munich-Nancy Workshop on

Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2006-03-05 21:15:02