Database of Existing Mechanized Reasoning Systems

-formal.stanford.edu

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

Rate This Site

More in Software Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5285017" title="Database of Existing Mechanized Reasoning Systems"><img src="https://e-sygoing.link/badge.php?lid=5285017" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Database of Existing Mechanized Reasoning Systems

Rate This Site

Submit Your Site

Related Links