The Coq proof assistant - The Diigo Meta page

• 11 Jun 14
  

  uemurax

  Coq Proof Assistant programming

• 13 May 14
  

  coq

• 15 Dec 13
  

  Paul Topping

  mathematics

• 07 Sep 13
  

  hideaki-t

  coq

• 17 Jun 13
  

  Sergey Skubyev

  Math programming

• 14 Mar 13
  

  Francois Lassagne

  coq preuve mathématique logiciel informatique démonstration

• 27 Aug 12
  

  Yuri Braiman

  Programming languages proof coq Mathematics

• 23 Apr 12
  

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification project or Java Card EAL7 certification in industrial context), the formalization of mathematics (e.g. the full formalization of the 4 color theorem or constructive mathematics at Nijmegen) and teaching.

  logic coq proof programming mathematics software FOSS

• 28 Sep 11
  

  Jonathan S

  math proofs

• 27 May 11
  

  Michael Oczak

  coq logic proof programming math research

• 12 Sep 10
  

  Javier Neira

  logic proof programming math coq

• 22 Jun 10
  

  Pedro Ângelo

  Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows to define functions or predicates, to state mathematical theorems and software specifications, to develop interactively formal

  declarative.language

• 17 May 10
  

  James Choate

  Coq is a formal proof management system: a proof done with Coq is mechanically checked by the machine. In particular, Coq allows:\nto define functions or predicates, to state mathematical theorems and software specifications, to develop interactively form

  Computer Automated Proof

• 19 Nov 09
  

  Stephane JAUBERT

  langage Coq informatique

• 23 Oct 09
  

  paulosilveira

  logic coq programming proof math software mathematics ocaml haskell

• 29 Jun 09
  

  Leo Horovitz

  logic coq programming proof software mathematics

• 30 Nov 08
  

  sistema_ra coq

• 12 Oct 08
  

  Seth Greenblatt

  software programming mathematics tools research coq proofs theorem verification inria assistant logic ocaml

• 06 Oct 08
  

  Tim Mensch

  tool software science research programming math compiler

• 29 Jul 08
  

  Antoine Bertier

  automation logic programming proof math mathematics software inria delicious

• 23 Jul 08
  

  Rapid Extreme

  math logic language engineering

• 05 May 08
  

  S F

  logic programming coq proof math software mathematics ocaml

• 10 Mar 08
  

  blackface

• 29 Jan 08
  

  jozilla

  del.icio.us imported language logic math mathematics programming proof

• 30 Jul 07
  

  Michael Hamann

  computer engineering functional haskell library logic math mathematics science coq proof software ocaml tool assistant research

• 24 Jun 07
  

  mountain

  algebra computer_science cs del.icio.us functional imported logic

• 27 May 07
  

  ousiotic

  programming formal coq proof logic

• 10 May 07
  

  Bob Cunningham

  coq logic proof algebra

• 23 Apr 07
  

  Frank Colcord

  Philosophy LP Semantic Web Ruby SIP

• 26 Feb 07
  

  Pedro Machado

  for:lpmachado

• 17 Feb 07
  

  yasuo kominami

  formalmethod coq emacs proof

  • Coq is a formal proof management system: a proof done with  Coq is mechanically checked by the machine
• 10 Jan 06
  

  Yann hodique

  coq theorem prover inria

• 28 Dec 04
  

  olivier mo

  BookmarkMenu logic

Would you like to comment?

Join Diigo for a free account, or sign in if you are already a member.