Re: [tlaplus] Python binding

[Isaac DeFrain <isaacdefrain@xxxxxxxxx>]

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.