1379 
2020/02/18 12:27:11

n * S m = n + n * m

emoken 
Success 


1378 
2020/02/18 12:21:58

forall f: bool > bool, f^3(x) = f(x)

emoken 
Success 


1377 
2020/02/18 12:11:50

1 + 1 = 2

emoken 
Success 


1376 
2020/02/18 12:07:53

plus_comm

emoken 
Success 


1375 
2020/02/18 12:00:19

plus_comm

emoken 
Success 


1374 
2020/02/18 11:53:06

plus_assoc

emoken 
Success 


1373 
2020/02/13 19:01:51

and_comm (Lean)

na4zagin3 
Success 


1372 
2020/02/13 18:38:32

and_comm (Lean)

blue_jam 
Success 


1371 
2020/02/08 07:20:41

and_comm (Lean)

tzik 
Success 


1370 
2020/02/07 14:55:59

forall l: list nat, l @ [0] <> []

mttm 
Success 


1369 
2020/02/07 14:42:57

Product of n consecutive integers is divisible by n!

mttm 
Success 


1368 
2020/02/06 19:07:17

gcd(n, n+1) = 1

nekodesu 
Failure 


1367 
2020/02/05 13:46:12

n < m \/ n = m \/ n > m

mttm 
Success 


1366 
2020/02/05 08:19:22

and_comm (Lean)

nekodesu 
Success 


1365 
2020/02/05 04:09:02

and_comm (Lean)

nuip 
Failure 


1364 
2020/02/05 04:07:26

and_comm (Lean)

nuip 
Success 


1363 
2020/02/05 04:06:47

and_comm (Lean)

nuip 
Failure 


1362 
2020/02/05 03:15:54

and_comm (Lean)

asi1024 
Success 


1361 
2020/02/05 00:36:18

and_comm (Lean)

asi1024 
Failure 


1360 
2020/02/01 00:25:23

Booleanhole principle

na4zagin3 
Success 


1359 
2020/02/01 00:25:22

De Morgan's laws in Coq

na4zagin3 
Success 


1358 
2020/02/01 00:25:20

mult_n_O

na4zagin3 
Success 


1357 
2020/02/01 00:25:19

gcd(n, n+1) = 1

na4zagin3 
Success 


1356 
2020/02/01 00:25:18

Summand of one

na4zagin3 
Success 


1355 
2020/02/01 00:25:16

forall l: list nat, l @ [0] <> []

na4zagin3 
Success 


1354 
2020/01/31 23:54:12

n * S m = n + n * m

na4zagin3 
Success 


1353 
2020/01/31 23:54:10

forall f: bool > bool, f^3(x) = f(x)

na4zagin3 
Success 


1352 
2020/01/31 23:54:08

1 + 1 = 2

na4zagin3 
Success 


1351 
2020/01/31 23:54:05

plus_comm

na4zagin3 
Success 


1350 
2020/01/31 23:27:47

plus_assoc

na4zagin3 
Success 


1349 
2020/01/30 20:15:04

Summand of one

nekodesu 
Failure 


1348 
2020/01/30 19:54:36

n < m \/ n = m \/ n > m

nekodesu 
Failure 


1347 
2020/01/24 14:17:34

mult_n_O

Eldora 
Success 


1346 
2020/01/24 14:11:34

Booleanhole principle

Eldora 
Success 


1345 
2020/01/23 20:14:48

n < m \/ n = m \/ n > m

nuip 
Failure 


1344 
2020/01/23 20:12:40

n < m \/ n = m \/ n > m

nuip 
Failure 


1343 
2020/01/23 19:42:11

n < m \/ n = m \/ n > m

blue_jam 
Failure 


1342 
2020/01/20 15:23:26

forall f: bool > bool, f^3(x) = f(x)

Eldora 
Success 


1341 
2020/01/20 15:08:24

forall f: bool > bool, f^3(x) = f(x)

Eldora 
Success 


1340 
2020/01/20 14:15:29

plus_comm

Eldora 
Success 


1339 
2020/01/20 13:29:41

plus_assoc

Eldora 
Success 


1338 
2020/01/16 20:41:29

Any natural number is expressible in binary notation

na4zagin3 
Failure 


1337 
2020/01/16 20:37:44

Any natural number is expressible in binary notation

nuip 
Failure 


1336 
2020/01/16 20:37:35

Multiplication of nonzero value in F_p is injective

nuip 
Failure 


1335 
2020/01/16 20:31:40

Any natural number is expressible in binary notation

blue_jam 
Failure 


1334 
2020/01/16 20:06:35

Any natural number is expressible in binary notation

nekodesu 
Failure 


1333 
2020/01/13 14:38:15

Three is prime

kurgm 
Success 


1332 
2020/01/13 12:52:06

Booleanhole principle

kurgm 
Success 


1331 
2020/01/09 20:04:51

n * S m = n + n * m

nekodesu 
Failure 


1330 
2020/01/09 20:04:32

forall f: bool > bool, f^3(x) = f(x)

nekodesu 
Failure 

