proof.prove
Class SimpleProverApp

java.lang.Object
  |
  +--proof.prove.SimpleProverApp

public class SimpleProverApp

extends java.lang.Object

Application which attempts to prove something in a fairly naive, brute-force way.

Constructor Summary

SimpleProverApp()

Method Summary

static void

main(java.lang.String[] args) First argument is the URL of the term to try to inhabit.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimpleProverApp

public SimpleProverApp()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

First argument is the URL of the term to try to inhabit. Second argument is the depth to search to Third argument is the number of subgoals ("holes") to allow in the proof.