logic-derivation-service (npm): Simulator for Logic 2010 derivations
Keywords: derivation|proof|purescript