1281 
2019/12/18 22:21:03

De Morgan's laws in Coq

fetburner 
Rejected 


1280 
2019/12/18 22:08:28

mult_n_O

fetburner 
Success 


1279 
2019/12/18 20:28:17

unique count

fetburner 
Success 


1278 
2019/12/18 18:42:09

Tree addressing is injective

natsugiri 
Success 


1277 
2019/12/18 16:07:16

count l n = count (rev l) n

fetburner 
Success 


1276 
2019/12/18 15:36:37

unique (unique l) = l

fetburner 
Success 


1275 
2019/12/18 15:35:25

unique count

fetburner 
Failure 


1274 
2019/12/18 15:23:38

unique count

fetburner 
Failure 


1273 
2019/12/18 14:54:21

gcd(n, n+1) = 1

fetburner 
Success 


1272 
2019/12/18 14:34:59

Identity permutation

fetburner 
Success 


1271 
2019/12/18 14:27:26

Multiplication in F_2 is idempotent

fetburner 
Success 


1270 
2019/12/18 14:04:07

Summand of one

fetburner 
Success 


1269 
2019/12/18 14:03:43

Definitions of injectivity

fetburner 
Success 


1268 
2019/12/18 13:58:24

Summand of one

fetburner 
Failure 


1267 
2019/12/18 13:55:14

Cumulative sum of list

fetburner 
Success 


1266 
2019/12/18 13:39:04

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

fetburner 
Success 


1265 
2019/12/17 02:12:58

Equivalent two quicksorts

tzik 
Success 


1264 
2019/12/14 04:21:16

Product of n consecutive integers is divisible by n!

fetburner 
Success 


1263 
2019/12/14 04:14:37

Product of n consecutive integers is divisible by n!

fetburner 
Success 


1262 
2019/12/14 02:46:17

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

fetburner 
Success 


1261 
2019/12/14 02:42:56

n * S m = n + n * m

fetburner 
Success 


1260 
2019/12/14 02:39:35

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

fetburner 
Success 


1259 
2019/12/14 02:36:49

1 + 1 = 2

fetburner 
Success 


1258 
2019/12/14 02:35:48

plus_comm

fetburner 
Success 


1257 
2019/12/14 02:32:44

plus_assoc

fetburner 
Success 


1256 
2019/12/12 23:11:45

Midpoint

natsugiri 
Success 


1255 
2019/12/12 20:26:03

Zero test

CoiL 
Success 


1254 
2019/12/12 20:11:40

Iterated iteration

CoiL 
Success 


1253 
2019/12/12 19:33:10

Iterated iteration

CoiL 
Rejected 


1252 
2019/12/10 21:38:47

Midpoint

maple 
Success 


1251 
2019/12/10 18:14:22

Zero test

maple 
Success 


1250 
2019/12/10 17:04:59

plus_comm

maple 
Success 


1249 
2019/12/10 16:55:06

plus_assoc

maple 
Success 


1248 
2019/12/10 12:54:47

Iterated iteration

chy 
Success 


1247 
2019/12/10 12:54:04

Iterated iteration

chy 
Failure 


1246 
2019/12/10 03:08:26

Binary search

tzik 
Success 


1245 
2019/12/09 23:48:52

Midpoint

tzik 
Success 


1244 
2019/12/09 21:09:15

Booleanhole principle revisited

natsugiri 
Success 


1243 
2019/12/09 12:57:53

Zero test

muratak 
Success 


1242 
2019/12/09 04:21:46

Multiplication of nonzero value in F_p is injective

tanakh 
Success 


1241 
2019/12/09 04:20:25

Multiplication of nonzero value in F_p is injective

tanakh 
Failure 


1240 
2019/12/09 02:52:18

Binary search

yodvhskd 
Success 


1239 
2019/12/09 02:27:53

Binary search

yodvhskd 
Success 


1238 
2019/12/08 23:54:53

Binary search

yodvhskd 
Success 


1237 
2019/12/08 23:11:05

Booleanhole principle revisited

tanakh 
Success 


1236 
2019/12/08 23:06:52

Booleanhole principle revisited

tzik 
Success 


1235 
2019/12/08 23:05:42

Zero test

tanakh 
Success 


1234 
2019/12/08 23:04:29

Booleanhole principle revisited

tzik 
Success 


1233 
2019/12/08 22:32:31

Binary search

kkob 
Success 


1232 
2019/12/08 22:10:28

Zero test

a_kawashiro 
Success 

