pomagma (pypi): An inference engine for extensional lambda-calculus
Keywords: inference-engine|lambda-calculus|theorem-proving