Justification
structuralCNF
InferenceParser
j
RigidTrigram
jsonify
MetricsPrinter
justOne
eliminateSplitting
justifications
instprover