TLA+ Community Survey

126 views

Skip to first unread message

Leslie Lamport

unread,

Nov 23, 2023, 11:29:45 AM11/23/23

to tlaplus

To help us get a better picture of our community and shape the future of the TLA+ tools, please participate in the TLA+ Community Survey by clicking here. Special thanks to Martin Hornáček and Samuel Miller for creating the survey.

Thank you,

Leslie

Markus Kuppe

unread,

Jan 16, 2024, 2:28:57 PM1/16/24

to tla...@googlegroups.com

We've already received many valuable suggestions, but we encourage you to keep sharing your thoughts. Please participate in our TLA+ community survey by visiting https://forms.gle/CnbdcPRTABGCSo3y8.

Reply all

Reply to author

Forward

0 new messages