d's submissions for Non-constructive Constant Time Algorithm

Filter submissions

Go

Statistics

Total: 24
You were disconnected. Refresh to show latest updates.
100 / 100
AC | LEAN4
d
90 days ago
0.13s
164.48 MB
---
CE | LEAN4
d
91 days ago
---
---
100 / 100
AC | LEAN4
d
on May 27, 2024, 11:31 p.m.
0.10s
104.40 MB
0 / 100
IR | LEAN4
d
on Nov. 23, 2022, 4:17 a.m.
0.13s
162.88 MB
0 / 100
IR | LEAN4
d
on Nov. 21, 2022, 8:39 a.m.
0.13s
163.14 MB
0 / 100
IR | LEAN4
d
on Nov. 21, 2022, 8:38 a.m.
0.13s
162.26 MB
0 / 100
IR | LEAN4
d
on Nov. 21, 2022, 8:32 a.m.
0.13s
163.81 MB
0 / 100
IR | LEAN4
d
on Nov. 21, 2022, 8:07 a.m.
0.13s
165.37 MB
0 / 100
IR | LEAN4
d
on Nov. 21, 2022, 6:11 a.m.
0.13s
164.46 MB
0 / 100
IR | LEAN4
d
on Nov. 21, 2022, 4:41 a.m.
0.13s
164.42 MB
0 / 100
IR | LEAN4
d
on Nov. 21, 2022, 4:39 a.m.
0.13s
167.27 MB
0 / 100
IR | LEAN4
d
on Nov. 21, 2022, 1:17 a.m.
0.13s
164.46 MB
0 / 100
IR | LEAN4
d
on Nov. 21, 2022, 1:16 a.m.
0.13s
165.59 MB
0 / 100
IR | LEAN4
d
on Nov. 18, 2022, 7:26 a.m.
0.13s
167.10 MB
0 / 100
IR | LEAN4
d
on Nov. 18, 2022, 6:42 a.m.
0.14s
166.28 MB
0 / 100
IR | LEAN4
d
on Nov. 18, 2022, 6:35 a.m.
0.13s
166.37 MB
0 / 100
IR | LEAN4
d
on Nov. 18, 2022, 6:16 a.m.
0.13s
164.03 MB
d
on Nov. 18, 2022, 5:26 a.m.
0.13s
163.17 MB
0 / 100
IR | LEAN4
d
on Nov. 4, 2022, 9:05 p.m.
0.13s
164.76 MB
0 / 100
IR | LEAN4
d
on Nov. 4, 2022, 4:39 a.m.
0.13s
164.40 MB
0 / 100
IR | LEAN4
d
on Nov. 4, 2022, 4:28 a.m.
0.13s
167.48 MB
0 / 100
IR | LEAN4
d
on Nov. 3, 2022, 7:31 a.m.
0.13s
164.92 MB
d
on Nov. 2, 2022, 8:44 a.m.
0.13s
163.37 MB
---
CE | LEAN4
d
on Nov. 2, 2022, 8:14 a.m.
---
---