This category captures all tools which do any form of automated reasoning, theorem proving, etc.
This category contains only the following page.
