Open austinmohr opened 10 years ago
If it is unknown whether a space possesses a certain property, this fact should appear under "Needing Proof" (or in its own tab). Currently, it is difficult to notice that these items need to be resolved.
If it is unknown whether a space possesses a certain property, this fact should appear under "Needing Proof" (or in its own tab). Currently, it is difficult to notice that these items need to be resolved.