Category:Reasoner

This category captures all tools which do any form of automated reasoning, theorem proving, etc.