Coq

Results: 297



#Item
81Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani MPI-SWS Derek Dreyer

Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani MPI-SWS Derek Dreyer

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2013-07-18 05:14:00
    82Le Coq au Pauillac et aux om´ egas Le Coq au Pauillac et aux om´egas (Aprieta el bast´on con las dos manos, se yergue un tanto, casi con entusiasmo) ¡Caramba! Claro... los n´

    Le Coq au Pauillac et aux om´ egas Le Coq au Pauillac et aux om´egas (Aprieta el bast´on con las dos manos, se yergue un tanto, casi con entusiasmo) ¡Caramba! Claro... los n´

    Add to Reading List

    Source URL: www.labri.fr

    Language: French - Date: 2007-10-29 06:56:02
      83The Why3 platform Version, May 2016 François Bobot1,2 Jean-Christophe Filliâtre1,2

      The Why3 platform Version, May 2016 François Bobot1,2 Jean-Christophe Filliâtre1,2

      Add to Reading List

      Source URL: why3.lri.fr

      Language: English - Date: 2016-05-27 08:19:42
      84COQ : a quick introduction Thorsten Altenkirch School of Computer Science University of Nottingham April 17, 2008

      COQ : a quick introduction Thorsten Altenkirch School of Computer Science University of Nottingham April 17, 2008

      Add to Reading List

      Source URL: www.cs.nott.ac.uk

      Language: English - Date: 2008-04-17 09:57:04
        85ÉDITO : Dessine-moi un(e) Président(e) de la République Par Gisèle Halimi Personne n’y échappera. Dans les interviews (en vrais coq à l’âne) dans les réunions, à table, au travail, la question est posée. Im

        ÉDITO : Dessine-moi un(e) Président(e) de la République Par Gisèle Halimi Personne n’y échappera. Dans les interviews (en vrais coq à l’âne) dans les réunions, à table, au travail, la question est posée. Im

        Add to Reading List

        Source URL: www.choisirlacausedesfemmes.org

        Language: French - Date: 2010-03-03 17:10:31
          86Company-Coq: Taking Proof General one step closer to a real IDE A tutorial on using Proof General and its new extension to write proofs more efficiently Clément Pit-Claudel Pierre Courtieu

          Company-Coq: Taking Proof General one step closer to a real IDE A tutorial on using Proof General and its new extension to write proofs more efficiently Clément Pit-Claudel Pierre Courtieu

          Add to Reading List

          Source URL: pit-claudel.fr

          Language: English - Date: 2016-02-09 22:36:28
            87The Picard Algorithm for Ordinary Differential Equations in Coq Bas Spitters VALS - LRI 23 May 2014

            The Picard Algorithm for Ordinary Differential Equations in Coq Bas Spitters VALS - LRI 23 May 2014

            Add to Reading List

            Source URL: www.cs.ru.nl

            Language: English - Date: 2014-05-31 04:15:46
              88Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka

              Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka

              Add to Reading List

              Source URL: www.ps.uni-saarland.de

              Language: English - Date: 2014-12-08 05:58:49
                89Coq par l’exemple Coq par l’exemple Pierre Cast´eran, Universit´e Bordeaux 1 et LaBRI 28 janvier 2010

                Coq par l’exemple Coq par l’exemple Pierre Cast´eran, Universit´e Bordeaux 1 et LaBRI 28 janvier 2010

                Add to Reading List

                Source URL: www.labri.fr

                Language: French - Date: 2010-02-10 06:35:58
                  90Programs from the Book Bit-level certified programming in Coq Pierre-Évariste Dagand Julia Lawall Whisper team

                  Programs from the Book Bit-level certified programming in Coq Pierre-Évariste Dagand Julia Lawall Whisper team

                  Add to Reading List

                  Source URL: pages.lip6.fr

                  Language: English - Date: 2015-11-07 12:41:27