[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Python binding

On 15.03.21 11:26, Marco Barbosa wrote:
I need a python binding for TLA+ for my master's thesis, since I couldn't find anything online, I decided to develop one on my own. Just passing by to let you know, and check if someone would find this useful. Feel free to leave any suggestions.

PlusPy [1] might be interest here.


[1] https://github.com/tlaplus/PlusPy

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/2f1cf550-9f2f-f023-8e00-70a71a4ff2f4%40lemmster.de.