Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
41	Engineering Nunchaku: A Modular Pipeline of Codecs Simon Cruanes 28th of June, 2016 Simon Cruanes Add to Reading List Source URL: cedeela.fr Language: English - Date: 2016-06-28 05:58:53 Software engineering Software Proof assistants Theoretical computer science Functional languages Automated theorem proving Logic in computer science Nunchaku Isabelle HOL Coq Kepler conjecture
42	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
43	January 30, 2004 OP-ED CONTRIBUTOR Scarves and Symbols By GUY COQ Add to Reading List Source URL: web.pdx.edu Language: English - Date: 2004-02-11 17:08:09 Secularism in France Religion and politics Politics Philosophy Religion French law Lacit Separation of church and state Secularism Secularity Education in France France
44	A content based mathematical search engine: Whelp Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:18 Computing Mathematics Mathematical logic Type theory Functional languages Business intelligence Knowledge representation Records management Coq Domain of a function Matching CIC
45	Falso: a simple, self-consistent logic Antoine Amarilli Club Inutile & Estatis, Inc. Scholarly Outreach Division 1 Accounting Dr., Mariana Trench, Intl. Waters Add to Reading List Source URL: www.ben-sherman.net Language: English - Date: 2016-08-02 11:41:55 Logic Mathematical logic Mathematics Automated theorem proving Model theory Proof theory Complexity classes Logical connectives NP IP Negation Coq
46	A.Le Coq 59. Muhu Väina regattI etapp PÄRNU - KIHNU, FOLKBOOT; ESTLYS III Add to Reading List Source URL: www.muhuvain.ee Language: Estonian - Date: 2016-07-10 03:29:35
47	Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software engineering Type theory Declarative programming Computing Generic programming Polytypic Polymorphism Map Lambda calculus Dependent type Fold CurryHoward correspondence
48	The State of the OCaml Platform: September 2016 Louis Gesbert∗(speaker) on behalf of the OCaml Platform team The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documentatio Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-04 08:31:13 Software Computer programming Functional languages OCaml Package manager Arch Linux Deb Go Caml R Coq
49	Welcome to the FUSAC annual guide to English-speaking Paris Inside you’ll find: • • Add to Reading List Source URL: www.fusac.fr Language: English - Date: 2016-06-27 08:20:58 Languages of Africa Culture National symbols of France Cocorico Gallic rooster Rooster Le Cordon Bleu Le Coq France Coq French language Chicken
50	ESPRIT PIERRE GAGNAIRE Eté \| 1 \| Barquette d’écrevisses pattes rouges, crête de coq et fèves au Macvin ; pamplemousse rubis. Consommé onctueux de fenouil à l’anis étoilé du Vietnam. Add to Reading List Source URL: www.pierre-gagnaire.com Language: French - Date: 2016-06-22 04:11:54