Recent Entries

Problem Prover Size Date
Syllogism is a tautology phi16_ 294 2017-11-14 15:57:33 JST
Fibonacci function phi16_ 239 2017-11-14 15:42:49 JST
Modus ponens phi16_ 90 2017-11-14 15:35:28 JST
Sqrt 2 trigott 4728 2017-07-08 10:58:15 JST
AB 3 trigott 3991 2015-05-05 17:18:16 JST
Inequality1 trigott 272 2015-05-05 16:45:12 JST
ReverseReverse3 FIXED Rotsor 195 2015-02-01 06:52:20 JST
Syllogism is a tautology nrolland 1060 2014-12-26 03:59:23 JST
Fibonacci function nrolland 244 2014-12-26 00:46:32 JST
Modus ponens nrolland 92 2014-12-26 00:34:38 JST
Factorization masahiro_sakai 240 2014-11-30 22:37:33 JST
Tales of Tails masahiro_sakai 1221 2014-11-27 20:51:36 JST
Syllogism is a tautology masahiro_sakai 368 2014-11-25 23:32:40 JST
Fibonacci function masahiro_sakai 261 2014-11-25 00:24:31 JST
Modus ponens masahiro_sakai 90 2014-11-25 00:20:02 JST
Tile Sequence trigott 4310 2014-11-20 01:46:09 JST
Tales of Tails trigott 1594 2014-11-19 16:37:58 JST
ReverseReverse3 FIXED trigott 470 2014-11-15 07:48:13 JST
ReverseReverse2 trigott 543 2014-11-15 07:21:33 JST
ReverseReverse1 trigott 645 2014-05-28 00:34:29 JST
Sqrt 2 Rotsor 5255 2014-04-21 05:16:20 JST
ReverseReverse3 FIXED Lost_dog_ 764 2014-04-20 10:54:21 JST
ReverseReverse2 Lost_dog_ 411 2014-04-20 10:48:04 JST
ReverseReverse1 Lost_dog_ 325 2014-04-20 10:43:16 JST
Syllogism is a tautology trigott 323 2014-04-16 00:16:16 JST
Factorization trigott 693 2014-04-15 23:55:35 JST
Fibonacci function trigott 239 2014-04-15 23:54:00 JST
Modus ponens trigott 90 2014-04-15 23:53:32 JST
Syllogism is a tautology kiritex 323 2014-04-04 17:59:00 JST
Fibonacci function kiritex 239 2014-04-04 16:20:10 JST
Modus ponens kiritex 90 2014-04-04 16:01:09 JST
Syllogism is a tautology kdxu 739 2014-03-16 16:59:30 JST
Fibonacci function kdxu 244 2014-03-16 16:40:54 JST
Modus ponens kdxu 88 2014-03-16 16:17:52 JST
Syllogism is a tautology strout 245 2014-01-06 12:19:46 JST
Fibonacci function strout 164 2014-01-06 11:18:46 JST
Modus ponens strout 52 2014-01-06 10:52:31 JST
Tales of Tails Rotsor 1115 2013-12-29 03:22:35 JST
Syllogism is a tautology Rotsor 344 2013-12-28 23:44:23 JST
Fibonacci function Rotsor 250 2013-12-28 23:35:45 JST
Modus ponens Rotsor 62 2013-12-28 23:30:09 JST
Fibonacci function ikegami__ 753 2013-10-19 08:39:02 JST
Modus ponens ikegami__ 200 2013-10-16 11:58:12 JST
Tile Sequence notogawa 4522 2013-09-29 22:57:26 JST
Inequality1 notogawa 292 2013-09-01 21:38:59 JST
Inequality1 Lost_dog_ 713 2013-08-31 10:54:32 JST
Factorization notogawa 220 2013-08-29 23:41:03 JST
Factorization Lost_dog_ 791 2013-08-29 17:52:51 JST
Sqrt 2 notogawa 2728 2013-08-29 00:06:55 JST
Fibonacci function Lost_dog_ 283 2013-06-14 00:48:54 JST
Tales of Tails Lost_dog_ 1257 2013-06-02 12:09:17 JST
Tales of Tails notogawa 1053 2013-06-02 11:38:17 JST
Syllogism is a tautology notogawa 351 2013-05-29 22:37:58 JST
Fibonacci function notogawa 1185 2013-05-29 20:49:06 JST
Syllogism is a tautology chiguri 728 2013-05-29 18:03:08 JST
Fibonacci function chiguri 233 2013-05-29 17:22:40 JST
Modus ponens chiguri 90 2013-05-28 12:53:59 JST
Modus ponens cutsea110 88 2013-05-28 10:29:10 JST
Modus ponens Lost_dog_ 90 2013-05-27 09:42:11 JST
Modus ponens notogawa 106 2013-05-26 00:35:12 JST