Re: [tlaplus] TLA project

Hello Christophe,

Your email address is not provided. Feel free to send me an email (isaadefrain@xxxxxxxxx) with the details of your project. I can't commit too much time, but I'm willing to take a look and offer some guidance.

Best,

Isaac DeFrain

On Fri, Apr 16, 2021 at 2:47 PM 'Christophe MASSON' via tlaplus <tlaplus@xxxxxxxxxxxxxxxx> wrote:

Hi everyone,

I'm a french student and I need some help concerning TLA+.
I have a project to make in TLA+ but I'm not sure that what I'm doing is the best way to proceed.
If you can spend some time with me to teach me or just to look what I've done it would be very nice.

Moreover, can you contact me directly by email ? So I can send you my project ?

Thank you in advance for your help

Have a nice weekend !

Regards,
Christophe

--
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/d6d8a744-22c1-4e4f-885c-c899b5626f31n%40googlegroups.com.