folproof (npm): A first-order logic proof verifier
Keywords: fol|folproof|proof|logic|language|first-order