Live data from Hacker News

PlusPy: Python Interpreter for TLA+ Specifications

discuss.tlapl.us

Post reply on HN

Print view View original

1–2 of 2 posts

PlusPy: Python Interpreter for TLA+ Specifications

#1

Post by lemmster » Tue, Apr 21, 2020, 4:45 AM UTC

PlusPy: Python Interpreter for TLA+ Specifications
discuss.tlapl.us

Re: PlusPy: Python Interpreter for TLA+ Specifications

#2

Post by lemmster » Tue, Apr 21, 2020, 4:46 AM UTC

Direct link to Github repo: https://github.com/tlaplus/PlusPy

Post reply on HN