Search results

Create the page "Adding General Purpose Reasoners" on this wiki! See also the search results found.

• Extending the Proof Manager
  # adding a new [http://handbook.cobra.cs.uni-duesseldorf.de/current/html/reasoners.html reasoner]. # adding a new [http://handbook.cobra.cs.uni-duesseldorf.de/current/html/proof_tacti
  3 KB (400 words) - 10:27, 27 October 2011
• Sequent Prover Developer Guide
  == Reasoners == ...a computer program and it is the job of the developers to ensure that the reasoners either fail or generate logically valid proof rules.
  17 KB (2,378 words) - 09:48, 17 June 2010