9
$\begingroup$

I think the tag should be deleted, because it is too general - almost every question will be related to theorem proving. Should it be deleted?

$\endgroup$
0

1 Answer 1

Reset to default
10
$\begingroup$

I suspect that this tag was intended to refer to automated theorem proving, as queried about at Is this for assistants only, excluding automated provers?. Perhaps it should just be renamed?

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .