GitHub repository: nakamin/logic2020-derivation-service
Primary language: PureScript
Description: Node module for simulating Logic 2010 derivations