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

Re: [tlaplus] Python binding



Hey Marco,

Do you have a public repo somewhere?


Best,

Isaac

On Mon, Mar 15, 2021 at 12:26 PM Marco Barbosa <barbosamarco4@xxxxxxxxx> wrote:

Hi guys,
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.
Thanks,
Marco

--
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/0c38edea-a9d6-4bde-9dfc-db47ca604e69n%40googlegroups.com.
--
Isaac DeFrain

--
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/CAM3xQxG1fRiAM3uPZELJY7b6LFcd%2BF4OO6Tg8m7HQxVqay%3Dpaw%40mail.gmail.com.