Category:Reasoner

From OPENRESEARCH mk copy Wiki
Revision as of 12:13, 17 February 2021 by Musaab Khan (talk | contribs) (pushed from or by wikipush)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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

This category currently contains no pages or media.

Retrieved from "https://confident.dbis.rwth-aachen.de/ormk/index.php?title=Category:Reasoner&oldid=3478"