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

Re: [tlaplus] Python binding



https://github.com/barbosamarco4/PyLA
Sorry, I forgot to leave the link, here you have. Keep I'm mind this is in a very early stage.

On Mon, 15 Mar 2021, 20:08 Isaac DeFrain, <isaacdefrain@xxxxxxxxx> wrote:
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 a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/okiCxO-V7jM/unsubscribe.
To unsubscribe from this group and all its topics, 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.

--
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/CAL2Uge8UzrsQGTO%3DLa5c0yXgQ5JC%2BAPGqQYQ4LN-GS%2Be%2B9QvQw%40mail.gmail.com.