Isabelle

Results: 1487



#Item
281

PDF Document

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2016-02-17 10:49:00
    282

    Erzeugung von LATEX-Dokumenten mit Isabelle/HOL Diese Anleitung erkl¨ art den Gebrauch von Isabelle/HOL zum Setzen von LATEX-Dokumenten. Es wird dabei A angenommen, dass L TEX bereits installiert ist. Empfehlenswerte LA

    Add to Reading List

    Source URL: git.imp.fu-berlin.de

    Language: German
      283

      Introduction to Isabelle Clemens Ballarin Universit¨at Innsbruck le l

      Add to Reading List

      Source URL: www21.in.tum.de

      Language: English - Date: 2008-01-31 10:20:19
        284

        PDF Document

        Add to Reading List

        Source URL: isabelle.in.tum.de

        Language: English - Date: 2016-02-17 10:47:08
          285

          Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle

          Add to Reading List

          Source URL: isabelle.in.tum.de

          Language: English - Date: 2016-02-17 10:49:55
            286

            DOSSIER D’ACCOMPAGNEMENT Réalisé avec la collaboration d’Isabelle Campanella Professeur relais au TNG/CDN Yaël

            Add to Reading List

            Source URL: www.theatredeprivas.com

            Language: French - Date: 2015-09-28 09:53:02
              287

              Algebraic structures in Axiom and Isabelle: attempt at a comparison Clemens Ballarin Institut f¨ur Informatik Universit¨at Innsbruck 6020 Innsbruck, Austria

              Add to Reading List

              Source URL: www21.in.tum.de

              Language: English - Date: 2007-06-11 08:36:50
                288

                E3S Web of Conferences – 170 x 250 mm paper size, one column format Isaline Boulven1,, Isabelle Houlbert2 , and Agnès Henri1 1EDP Sciences, Editorial Department, 91944 Les Ulis Cedex A, France

                Add to Reading List

                Source URL: www.e3s-conferences.org

                Language: English - Date: 2016-06-14 08:53:14
                  289

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

                  Add to Reading List

                  Source URL: mirror.clarkson.edu

                  Language: English - Date: 2016-02-17 10:49:08
                    290

                    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: isabelle.in.tum.de

                    Language: English - Date: 2016-02-17 10:46:54
                      UPDATE