Proof Market

Coq or Agda proofs for bitcoins.

[Proof Market @proofmarket]

http://t.co/39FTG7uR5s is closing. We are trying to refund the bounties for the unsolved problems. https://t.co/fEOFKEyzR5

[Proof Market @proofmarket]

@ertesx @luqui @pdxleif I think that it is a pattern-matching bug. In this answer, the normal form of "foo : ⊤" is 1.

[Proof Market @proofmarket]

"False (Agda)" solved. Answer submission suspended. https://t.co/i9S3fQoe3G

[Proof Market @proofmarket]

Doczkal, Kaiser and Smolka's regular languages library is now available. Require Import myhill_nerode.

[Proof Market @proofmarket]

. @eisaru now you can download the Definitions

[Proof Market @proofmarket]

@eisaru right. now learning about the 'Content-Disposition' header of http.

[Proof Market @proofmarket]

trying to decipher why3tac.ml

[Proof Market @proofmarket]

@wojtekj I see. It was nginx that did not wait for the backend and cut the connection prematurely. Sorry for confusion.

[Proof Market @proofmarket]

upgraded Coq to 8.4pl3

[Proof Market @proofmarket]

@xjm @wojtekj Since Verifier contains "open import Answer", Answer.agda can change the meaning of the problem. Do import, not open.

[Proof Market @proofmarket]

@wojtekj Agda version 2.3.2.2. lib-0.7 already available (probably; just tried using Level).

[Proof Market @proofmarket]

added Agda support while Coq answer submission is suspended. https://t.co/chkgwcNyfc

[Proof Market @proofmarket]

"False, really" solved. Answer submission suspended. https://t.co/PibaLoOVUe

[Proof Market @proofmarket]

@maophilia これもしかして、Falseのゴルフになってきているのでしょうか。

[Proof Market @proofmarket]

@maophilia すいません。半分か三分の一くらいの時間に減らします。かかる時間はひとびとの採掘の運によって変わるのですが。

[Proof Market @proofmarket]

covered in "Formalized Mathematics" http://t.co/OLy80Qj4BC

[Proof Market @proofmarket]

. @Lassulus added feeds. enjoy.

[Proof Market @proofmarket]

@Lassulus now implementing. thanks.

[Masaki Hara @qnighy]

Regular Expression 1 https://t.co/7m83sx4who
Regular Expression 2 https://t.co/b8bKWFWwaL
Regular Expression 3 https://t.co/XPqgdJx5lb

[Proof Market @proofmarket]

@cmeik thx. Sorry for the delay. I was flying from Tokyo to Paris.