[tlaplus] TLA project

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.