Interactive derivation viewer
Jul 3, 2007 4383 views 
This describes the IDV, a tool for graphically rendering derivations that are written in the Thousands of Problems for Theorem Provers (TPTP) language.
Jul 3, 2007 4383 views 
Jul 3, 2007 4383 views Except where otherwise noted, content on this site is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 4.0 International license.