clopen.solutions

Open problems

1131 registered problems.

OP-00101 Lean verified
OP-00102 Lean verified
OP-00103 Lean verified
OP-00104 Lean verified
OP-00105 Lean verified
OP-00106 Lean verified
OP-00107 Lean verified
OP-00108 Lean verified
OP-00109 Lean verified
OP-00110 Lean verified
OP-00111 Lean verified
OP-00112 Lean verified
OP-00113 Lean verified
OP-00114 Lean verified
OP-00115 Lean verified
OP-00116 Lean verified
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