SWiK
» tagged pages
» logout

(Feed found, click Add Page to syndicate.) Error finding feed, please try again » Find feed title

A Blog Page allows you to add entries, for news or other time sensitive postings

A Bookmarks page is a really simple list of links - ordered by date.

(Login required to save to your tagged pages.)
(or Cancel)

Preview Formatting

Make further edits, (or Cancel)

(Login required to save to your tagged pages.)
(or Cancel)

(Editing anonymously: to be credited for your changes, login or register a new account)

Change Page Permissions? Changing these permissions will adjust who can modify this page.

Anonymous (change)
(change)
(or Cancel)
→ Upload an image from your computer:
→ or Copy an image from a URL:
→ or Erase the current icon:
Icon Preview:

or Cancel

Erase coq? The contents of coq page and all pages directly attached to coq will be erased.

or Cancel

(Editing anonymously: to be credited for your changes, login or register a new account)

other page actions:
coq

coq

sorted by: recent | see : popular
Content Tagged coq

Proof General

Emacs: del.icio.us tag/emacs

Rubrication " Verifying the Monad Laws with Supercompilation

Haskell: del.icio.us tag/haskell

Ynot

The goal is to make programming with dependent types practical for a modern programming language. We are extending the Coq proof assistant to support higher-order, imperative, and concurrent programs through a shallow embedding of Hoare Type Theory.

Haskell: del.icio.us tag/haskell

Matthieu Sozeau :: Russell

Haskell: del.icio.us tag/haskell

Everyone Else is Crazy: A common language for dependently-typed programming?

Haskell: del.icio.us tag/haskell

brainfuck interpreter in Coq - まめめも

Haskell: del.icio.us tag/haskell

[from eggywat] The Coq proof assistant

User:jeyrb: del.icio.us/network/jey

Les emblèmes des équipes de rugby - L'Australie : le wallaby

lesstif: del.icio.us tag-motif

Proof General: Emacs mode for Coq

Emacs: del.icio.us tag/emacs

Proof General

Emacs: del.icio.us tag/emacs

Position Paper: Thoughts on Programming with Proof Assistants

Haskell: del.icio.us tag/haskell

Coq and The Monad Laws: Introduction | The Haskell Sequence

Proving the monad laws in Coq

Haskell: del.icio.us tag/haskell

The Coq proof assistant

Haskell: del.icio.us tag/haskell

Extraction of programs in Objective Caml and Haskell

Haskell: del.icio.us tag/haskell

Simply Easy! (An Implementation of a Dependently Typed Lambda Calculus)

Haskell: del.icio.us tag/haskell

Rubrication

Haskell: del.icio.us tag/haskell

Page 1 | Next >>
Username:
Password:
(or Cancel)