recent answers

problem BTC address price size created at payment
False (Agda) 1CzKXK4V2qgX6qAgsq6xq9ftN4HaeVeWBQ 5000000 satoshi 435 byte 2014-04-26 21:23:20.063537 UTC confirmed
Addition tree compiler (Agda) 1Kco3vzBAxhUxHmtXVDWvn986xamggP1Fo 5000000 satoshi 761 byte 2014-04-26 21:15:53.361826 UTC click to check
Untyped lambda calculus 1 (Agda) 13195NwGTDwB4NgaTifF4EQ8teQCZ4V9vD 10000000 satoshi 13090 byte 2014-03-24 02:49:42.213758 UTC click to check
Addition tree compiler (corrected) (Agda) 1JY4YneG6ZftPidy5sCujDiqHWog8qhLnb 0 satoshi 1111 byte 2014-02-17 16:20:59.476955 UTC confirmed
Addition tree compiler (corrected) (Agda) 14DDAs62JgivJTCa7oiUwgCvEoQ8bEwL85 0 satoshi 1444 byte 2014-02-12 22:54:00.853146 UTC confirmed
Addition tree compiler (corrected) (Agda) 1LrRdBfn8ehwo6FjtVTC6r6oUGovqgZ48c 30000000 satoshi 1561 byte 2014-02-12 11:23:13.518942 UTC click to check
Addition tree compiler (corrected) (Agda) 1KwfdarGEKWBtiBPkHZNj8AwwDbeJksNQP 40000000 satoshi 1618 byte 2014-02-11 21:22:19.059654 UTC click to check
Higman-Neuman theorem (Coq) 1JS6eQREiLAC9uBkFEtarbP94uZ5pu25q8 0 satoshi 1986 byte 2014-02-09 12:16:59.537425 UTC confirmed
Termination of tak (Coq) 1PioQUGYvjgskpeC9DqoKMB2hn1QeNPq2o 0 satoshi 12409 byte 2014-01-16 14:19:35.772975 UTC confirmed
Termination of tak (Coq) 1BUGYX6mniiL7fbRo1GsQ4zv2tCnrvdHEy 0 satoshi 12757 byte 2014-01-16 13:41:33.395201 UTC confirmed
Tertium non datum. Negated. Twice. Really. (Agda) 1N56gkTMB6sCyo7MVG4e7QZftSg6J1pV3p 50 satoshi 126 byte 2014-01-15 18:48:52.787165 UTC confirmed
Tertium non datum. Negated. Twice. (Agda) 1P6k4ro8N2fsGeTbCUxAV8Bx4XS4h9rpDZ 0 satoshi 95 byte 2014-01-14 11:17:07.977503 UTC confirmed
modus ponens in agda (Agda) 1CRqUrRacsQRq7FB9vTayRhExBZSST19Kj 0 satoshi 86 byte 2014-01-14 09:12:15.736554 UTC confirmed
Tertium non datum. Negated. Twice. (Agda) 1ABA4qVc2VSx2iqNtPthPmQDMNW7H8RhuZ 0 satoshi 146 byte 2014-01-14 09:09:15.490883 UTC confirmed
modus ponens in agda (Agda) 1LEViFPcBpEZinGPr2oT9PPorNpW1SC9ce 0 satoshi 185 byte 2014-01-14 08:23:09.974936 UTC confirmed
Tertium non datum. Negated. Twice. (Agda) 15efrs4NZHkRcpin7ZDRYWgH9DKN1h4Vqr 10000000 satoshi 345 byte 2014-01-14 01:39:56.944576 UTC click to check
modus ponens in agda (Agda) 1BEAhVDQU4FudsYpN8WuF4eqzZdgnVe99g 0 satoshi 206 byte 2014-01-13 22:45:17.849989 UTC confirmed
modus ponens in agda (Agda) 1HtLiHttDfXBbmA6rDNEtNPKdT4H7jMgjr 12345 satoshi 144 byte 2014-01-13 22:42:34.227553 UTC click to check
modus ponens in agda (Agda) 1P932NpWGMMavT4x6Md67m5o58SnfCkrZN 0 satoshi 185 byte 2014-01-13 21:48:49.976423 UTC confirmed
False, really (Coq) 1LkfwabTmpi45sRtCehVUdNeojVDeBSZsP 100000000 satoshi 3802 byte 2014-01-13 08:06:03.651866 UTC click to check
Termination of tak (Coq) 12UuBBgs8Tr6xhwaQn7qgroPMi9KKM3QwX 0 satoshi 9727 byte 2014-01-12 23:41:44.468406 UTC confirmed
False (Coq) 1DMYwJAxmTRR8vaQunVjmpz4YgTPha2uMf 1000000 satoshi 34 byte 2014-01-12 10:53:53.524624 UTC confirmed
Regular Expression 1 (Coq) 1CtqAjYiRpZKaEphnDMzdPSRssJ6gYfABa 1234567 satoshi 2511 byte 2014-01-12 10:48:16.212848 UTC confirmed
Regular Expression 3 (Coq) 1C7oHCuSeBQDwR3EJWvTmAafK3VJtH6wik 1000000 satoshi 9316 byte 2014-01-10 10:48:28.591845 UTC click to check
Regular Expression 1 (Coq) 19QAc6utydDGVSEmLQGgEqbkcoXtEsK4Dn 12345678 satoshi 3924 byte 2014-01-08 22:03:44.225536 UTC click to check
True (Coq) 1PMTTcQ2h6eQXwJfc7DLVe2kJTimC9xo9g 0 satoshi 41 byte 2014-01-07 15:51:24.636965 UTC confirmed
Higman-Neuman theorem (Coq) 14ryKjoY8NDmUT42QQZ4rgcFZzmstiEpWV 0 satoshi 9649 byte 2014-01-07 14:52:55.241599 UTC confirmed
Takeuchi Function tak (Coq) 1EdvDXbaRTbjpHfyThGcY1avn77jQyoaX1 5000000 satoshi 634 byte 2014-01-07 06:17:49.881757 UTC click to check
Takeuchi Function tak (Coq) 1GL2y2un4cicuh8ee332VnnFbJU2Bkt9c8 0 satoshi 432 byte 2014-01-07 06:13:16.623947 UTC confirmed
True (Coq) 1LCTrGjNeGeMDBsq88j9aQmz6MGiFkwC9U 0 satoshi 12 byte 2014-01-07 04:39:43.672272 UTC confirmed
True (Coq) 1CW79EUymQy9swWivZhS3md7SHRH43WCtM 0 satoshi 34 byte 2014-01-07 03:06:11.353034 UTC confirmed
modus ponens (Coq) 12jkjw2zHEwWJLQgSUE9AAKcXeJrNfZunV 100 satoshi 83 byte 2014-01-07 02:54:57.976392 UTC click to check
modus ponens with Axiom (with new system) (Coq) 1LRCxG1WVei18ji9JQfPvxqktETSMorueM 0 satoshi 89 byte 2014-01-06 06:14:47.711681 UTC confirmed
IffIffIff (Coq) 18jyNqwrMHXZoMSMuQaEFLf9wxBvHbDjyR 1234567 satoshi 1078 byte 2014-01-05 16:14:17.542695 UTC confirmed
Lagrange's four-square theorem (Coq) 18jyNqwrMHXZoMSMuQaEFLf9wxBvHbDjyR 12345678 satoshi 45090 byte 2014-01-05 12:17:26.130275 UTC click to check
modus ponens with Axiom (Coq) 1JnzmrtiXKEUcRyvM9Acu8LsRNV2jdifJg 0 satoshi 89 byte 2014-01-04 10:18:28.359717 UTC confirmed
modus ponens (Coq) 1JnzmrtiXKEUcRyvM9Acu8LsRNV2jdifJg 1 satoshi 135 byte 2014-01-04 09:38:39.227034 UTC confirmed
modus ponens (Coq) 1Hu1sY2SBkh2qm7s84EXoGyt9GSSbnpiwG 0 satoshi 83 byte 2014-01-04 09:31:20.89112 UTC confirmed
False (Coq) 1A8a55WuT2oCCUsHitZzHPdZmTENjyR7cy 0 satoshi 72 byte 2014-01-03 21:37:47.045297 UTC confirmed
modus ponens (Coq) 14h7U5BjCSvek3hSsd4TvvGErz9BDj6Kn1 0 satoshi 111 byte 2014-01-03 15:21:27.364258 UTC confirmed
modus ponens (Coq) 1LGFNfzYc864XpUdWWU828ebCSpPyxpnA 100 satoshi 103 byte 2014-01-02 12:31:58.696475 UTC confirmed
modus ponens (Coq) 1LyhmmKtVcBUFmYpSb2oYftubC2qc1ibHz 0 satoshi 85 byte 2014-01-01 08:21:56.723232 UTC confirmed
CoInductive Plus 1 (Coq) 1A8a55WuT2oCCUsHitZzHPdZmTENjyR7cy 10000 satoshi 788 byte 2013-12-31 14:48:42.891869 UTC confirmed
modus ponens (Coq) 1EMn97WmtP2rPLCRQHHsxa7bn1cJ3dQnem 100 satoshi 173 byte 2013-12-31 10:56:57.9476 UTC confirmed
CoInductive Plus 2 (Coq) 1GT9XL9LKdqx3S6i9U8VBgamcHiKxpkSTe 10000000 satoshi 2394 byte 2013-12-31 07:57:26.524557 UTC click to check
modus ponens (Coq) 1EMn97WmtP2rPLCRQHHsxa7bn1cJ3dQnem 0 satoshi 173 byte 2013-12-31 06:06:22.423171 UTC confirmed
IffIffIff (Coq) 1GT9XL9LKdqx3S6i9U8VBgamcHiKxpkSTe 10000000 satoshi 9369 byte 2013-12-31 06:00:17.99157 UTC click to check
Make Contradiction (Coq) 137H74d6w45ihQycf3Mi9ffU6BKKdcnraC 1 satoshi 634 byte 2013-12-31 04:18:04.555779 UTC confirmed
mathcomp test (Coq) 1PAnrbbYANf96piwykXBPkmMoGgnMpj2bC 0 satoshi 128 byte 2013-12-31 04:10:39.93999 UTC confirmed
ssreflect test (Coq) 1LprUzS4pcESsUAa4Bx2hDvHvXFvj8iJH9 0 satoshi 113 byte 2013-12-31 04:04:01.287429 UTC confirmed
modus ponens (Coq) 1LyhmmKtVcBUFmYpSb2oYftubC2qc1ibHz 0 satoshi 82 byte 2013-12-31 03:38:10.905319 UTC confirmed
CoInductive Plus 1 (Coq) 137H74d6w45ihQycf3Mi9ffU6BKKdcnraC 25000 satoshi 859 byte 2013-12-30 23:22:20.881269 UTC confirmed
CoInductive Plus 1 (Coq) 137H74d6w45ihQycf3Mi9ffU6BKKdcnraC 5000000 satoshi 859 byte 2013-12-30 22:48:05.310678 UTC click to check
modus ponens with Axiom (Coq) 16vRquB9bsJFZ36Hx9LA5BKWdsyVUgpaxV 0 satoshi 89 byte 2013-12-30 09:24:50.282491 UTC confirmed
CoInductive Plus 1 (Coq) 1GT9XL9LKdqx3S6i9U8VBgamcHiKxpkSTe 10000000 satoshi 1053 byte 2013-12-28 15:52:47.903266 UTC click to check
modus ponens (Coq) 1GT9XL9LKdqx3S6i9U8VBgamcHiKxpkSTe 100000 satoshi 85 byte 2013-12-28 15:13:06.223532 UTC click to check
modus ponens (Coq) 1KDDd97QK2DhypZjGGTebNCTKuou9PqiMv 100000 satoshi 173 byte 2013-12-28 14:39:09.710604 UTC click to check
modus ponens (Coq) 14RH9HXigKA4Bv5Qz9ZWWcYmEmS8JbdLyt 1000000 satoshi 173 byte 2013-12-28 14:37:31.301139 UTC confirmed