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

[tlaplus] Python binding

From: Marco Barbosa <barbosamarco4@xxxxxxxxx>
Date: Mon, 15 Mar 2021 11:26:06 -0700 (PDT)

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.

Follow-Ups:
- Re: [tlaplus] Python binding
  - From: Markus Kuppe
- Re: [tlaplus] Python binding
  - From: Isaac DeFrain

Prev by Date: Re: [tlaplus] Re: Modeling an object oriented design
Next by Date: Re: [tlaplus] Python binding
Previous by thread: [tlaplus] Re: What resources exist documenting the finer points of TLA+ language interpretation?
Next by thread: Re: [tlaplus] Python binding
Index(es):
- Date
- Thread