Coq - PDFSEARCH.IO - Document Search Engine

Coq
Results: 297

#	Item
121	Entrees Poultry Coq Au Vin Miso soy glazed Chicken Breast Add to Reading List Source URL: www.gotkosherinc.com - Date: 2015-01-12 17:38:57
122	Charlottenstr. 2, 01099, Dresden Germany https://yoichihirai.com Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2016-01-06 15:14:57 Software Hirai Coq Mathematical logic Declarative programming
123	Mixed induction-coinduction at work for Coq Keiko Nakata, Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology We present tricks to implement mixed induction-coinduction in Coq using Mendler-style c Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-07 10:33:05
124	Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France) Add to Reading List Source URL: alan.petitepomme.net Language: English - Date: 2014-01-18 03:32:54 Software engineering Computer science Computing Boomerang Functional programming Symposium on Principles of Programming Languages International Conference on Functional Programming Benjamin C. Pierce SIGPLAN Coq French Institute for Research in Computer Science and Automation Research Institute of Computer Science and Random Systems
125	Towards GCAB in Coq Jean-Bernard Stefani joint work with C. Di Giusto and A. Schmitt INRIA Stefani (INRIA) Add to Reading List Source URL: sardes.inrialpes.fr Language: English - Date: 2013-07-25 08:12:25
126	Programming and verifying a compiler with Coq: an experience report Xavier Leroy INRIA Paris-Rocquencourt Dependently Typed Programming 2008 Add to Reading List Source URL: sneezy.cs.nott.ac.uk Language: English - Date: 2008-02-25 07:37:29
127	The Why3 platform Version, May 2015 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2015-05-22 01:14:27 Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml Formal verification French Institute for Research in Computer Science and Automation
128	PDF Document Add to Reading List Source URL: ssr.msr-inria.inria.fr Language: English - Date: 2013-07-24 02:35:41 Algebra Mathematics Group theory Finite groups Coq Fundamental theorem Prime number FeitThompson theorem Finite field Abelian group
129	Frisch gekocht KW 21, Mittwoch, Rezept von Richard Rauch Coq au vin mit Speck und Pilzen 1 Stunde (ohne Stehzeit)/aufwendig Add to Reading List Source URL: insider.orf.at Language: German - Date: 2015-05-15 05:02:44
130	´ Lecture at Ecole Jeunes Chercheurs en Programmation (EJCPProgramming and Proving: Practice with FoCaLiZe Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:22 Mathematical logic Mathematical proofs Logical syntax Deduction Proof assistant Natural deduction Coq Theorem Automated proof checking Logic Mathematics Proof theory

UPDATE