Are questions about automated theorem provers on topic?

Ask Question

Asked 1 year, 1 month ago

Modified 1 year, 1 month ago

Viewed 33 times

not realizing that proof assistant seems to imply interactivity. I now realize I meant something else - automated theorem provers - perhaps.

I want to rephrase my question but:

It would slightly invalidate the answer so far - providing a moving target is not good

also:

(the help text is still the standard SE one)

Looking at How are we doing in beta? this site appears to be low on traffic and might not make it out of beta (I may have this wrong).

Would it make sense to rescope it to include all manner of tools for assisting with proofs and/or formal methods?

asked Jun 8, 2023 at 17:46

Bruce Adams

1513 bronze badges

3

$\begingroup$ I think both of these questions are on topic since they ask about proof assistants. See also Is this for assistants only, excluding automated provers? $\endgroup$
– Couchy
Commented Jun 9, 2023 at 4:21
$\begingroup$ Have you searched this meta to see if it was asked before? $\endgroup$
– Nike Dattani
Commented Jun 12, 2023 at 14:37
1

$\begingroup$ I did but my search failed to find Is this for assistants only, excluding automated provers? beforehand . A nuance here was also asking if given the low volume of traffic the scope might have expanded and noting the help text says nothing useful $\endgroup$
– Bruce Adams
Commented Jun 12, 2023 at 14:41
$\begingroup$ I'd guess the tag (on-topic) would be suitable here. (And possibly (scope.) I do not have enough reputation to edit on meta - so I just mentioned this in a comment. $\endgroup$
– Martin Sleziak
Commented Jun 15, 2023 at 7:33
$\begingroup$ Done. Though I am unclear of the difference between "scope" and "on-topic" $\endgroup$
– Bruce Adams
Commented Jun 15, 2023 at 17:16

Add a comment |

0