[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  might be interest here.
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.