coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Proof Market...

From: "Perry E. Metzger" <perry AT piermont.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Proof Market...
Date: Mon, 30 Dec 2013 12:45:10 -0500

A friend pointed this out to me, and I didn't see it on this mailing
list before so I thought I would mention it. It is a "Coq proofs for
bitcoins" marketplace...

https://proofmarket.org/

--
Perry E. Metzger
perry AT piermont.com

[Coq-Club] Proof Market..., Perry E. Metzger, 12/30/2013
- Re: [Coq-Club] Proof Market..., Marco Servetto, 12/30/2013
  - Message not available
    - Re: [Coq-Club] Fwd: Proof Market..., Yoichi Hirai, 12/31/2013
      - Re: [Coq-Club] Fwd: Proof Market..., Guillaume Melquiond, 12/31/2013
        
        Re: [Coq-Club] Fwd: Proof Market..., Yoichi Hirai, 12/31/2013
        
        Re: [Coq-Club] Fwd: Proof Market..., Perry E. Metzger, 12/31/2013
        
        Re: [Coq-Club] Fwd: Proof Market..., Vladimir Voevodsky, 12/31/2013
        
        Re: [Coq-Club] Fwd: Proof Market..., Yoichi Hirai, 12/31/2013