Subscribe
 


Database of Existing Mechanized Reasoning Systems








 
Database of Existing Mechanized Reasoning Systems
A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.

Authored by at , Added: Mar 8, 2004



http://www-formal.stanford.edu/clt/ARS/systems.html

Unsorted Pool