Skip to content

Add uninterpreted List implementation to Prelude.lean #7221

Add uninterpreted List implementation to Prelude.lean

Add uninterpreted List implementation to Prelude.lean #7221

Job Run time
1m 14s
1m 14s
1m 14s
1m 14s
1m 14s
1m 25s
1m 25s
1m 25s
1m 25s
1m 25s
1m 15s
1m 15s
1m 15s
1m 15s
1m 15s
1m 19s
1m 19s
1m 19s
1m 19s
1m 19s
2m 4s
2m 4s
2m 4s
2m 4s
2m 4s
1s
1s
1s
1s
1s
28m 15s
28m 15s
28m 15s
28m 15s
28m 15s
14m 16s
14m 16s
14m 16s
14m 16s
14m 16s
44s
44s
44s
44s
44s
10m 5s
8m 6s
2m 24s
2m 30s
5m 46s
1m 57s
1m 57s
1m 57s
1m 57s
1m 57s
35m 42s
35m 42s
35m 42s
35m 42s
35m 42s
25m 27s
25m 27s
25m 27s
25m 27s
25m 27s
18m 29s
18m 29s
18m 29s
18m 29s
18m 29s
30m 15s
13m 46s
13m 46s
13m 46s
13m 46s
5m 33s
5m 33s
5m 33s
5m 33s
5m 33s
4m 4s
4m 4s
4m 4s
4m 4s
4m 4s
13h 42m 55s