lambda-notebook (pypi): Tools for linguistic semantics (lambda calculus, logic, etc), aimed at Jupyter
Keywords: digital-fragments|jupyter|jupyter-notebook|lambda-calculus|linguistics|semantics