clopen.solutions

Open problems

980 registered problems.

OP-00117 Lean verified
OP-00118 Lean verified
OP-00119 Lean verified
OP-00120 Lean verified
OP-00121 Lean verified
OP-00122 Lean verified
OP-00123 Lean verified
OP-00124 Lean verified
OP-00125 Open
OP-00126 Open
OP-00127 Open
OP-00128 Open
OP-00129 Open
OP-00130 Open
OP-00131 Open
OP-00132 Open
OP-00133 Open
OP-00134 Open
OP-00135 Open
OP-00136 Open
OP-00137 Partially resolved
OP-00138 Open
OP-00139 Open
OP-00140 Partially resolved
OP-00141 Open
OP-00142 Open
OP-00143 Open
OP-00144 Partially resolved
OP-00145 Partially resolved
OP-00146 Open
OP-00147 Open
OP-00148 Open
OP-00149 Partially resolved
OP-00150 Partially resolved
OP-00151 Partially resolved
OP-00152 Open
OP-00153 Open
OP-00154 Partially resolved
OP-00155 Partially resolved
OP-00156 Partially resolved
OP-00157 Partially resolved
OP-00158 Partially resolved
OP-00159 Solution claimed
OP-00160 Open
OP-00161 Open
OP-00162 Open
OP-00163 Open
OP-00164 Open
OP-00165 Open
OP-00166 Partially resolved