tlaplus-jupyter

PyPI page
Home page
Author: Stas Kelvich
License: BSD
Summary: Jupyter kernel for TLA⁺
Latest version: 0.1.1
Required dependencies: future | ipykernel | notebook | psutil

Downloads last day: 0
Downloads last week: 9
Downloads last month: 52