Geeks
ajdavis
/
tlaplus_jupyter
Jupyter kernel for TLA⁺
Primary Language
Python
BSD 3-Clause "New" or "Revised" License
BSD-3-Clause
tlaplus_jupyter GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
eemailme
jhcloos