jtp.func

Classes  Equals EvaluableFunctionReasoner ForIn FunctionProofStep GetSetof Greater InEqual Less Unprovable