name: tlaplus-jupyter
description: Jupyter kernel for TLA⁺
license_spdx: BSD-3-Clause
version: 0.1.1
spec_version: 1.0
home_url: https://github.com/kelvich/tlaplus_jupyter
news_url: https://libraries.io/pypi/tlaplus-jupyter/versions.atom
date: 2019-12-02
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/tlaplus-jupyter?number=0.1.1
vcs_tool: git
vcs_repository: https://github.com/kelvich/tlaplus_jupyter
vcs_branch: master
