FoCaLiZe Reference ManualOctober 2014

Source URL: focalize.inria.fr

• Cross-platform software
• Procedural programming languages
• Coq
• Compiler
• OCaml
• Programming language
• Formal methods
• C
• Logic programming
• Software
• Computing
• Functional languages

Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2

Source URL: who.rocq.inria.fr

• Polymorphism
• Subtype polymorphism
• Computing
• Type theory
• Software engineering
• Object-oriented programming

An abstract type for constructing tactics in Coq Arnaud Spiwack ´ LIX, Ecole Polytechnique

Source URL: assert-false.net

Simpoulet: an attempt at proving environmental bisimulations in Coq Jacques Garrigue (Nagoya University) Pierre-Marie P´ edrot (ENS Lyon)

Source URL: www.math.nagoya-u.ac.jp

Coq à la Tarksi A predicative calculus of constructions with explicit subtyping A. Assaf1 1

Source URL: who.rocq.inria.fr

Alea: a library for reasoning on randomized algorithms in Coq Version 7 Christine Paulin-Mohring with contributions by David Baelde and Pierre Courtieu PROVAL Team

Source URL: www.lri.fr

Introduction to the Coq proof-assistant for practical software verification Christine Paulin-Mohring 1 2

Source URL: www.lri.fr

REGIONAL PLANNING AND CONSERVATION IN COSTA RICA: A CONTRADICTORY POLICY PROCESS? FERNANDO SAENZ-SEGURA*; JEAN FRANÇOIS LE COQ CINPE-UNA; Costa Rica has been mentioned as a country with a successful conservation policy

Source URL: www.isecoeco.org

COQ (ROOSTER) BEAK Create by Eric Joisel inWith a square of paper size

Source URL: www.ericjoisel.com

Frankreich Coq au Vin (Kokowääh) Zutaten für 3 Portionen   

Source URL: files2.orf.at