pomagma (npm): Client library for pomagma inference engine
Keywords: pomagma|puddle|inference-engine|lambda-calculus|theorem-proving