TLA+ Community Survey - https://forms.gle/uLea7TR9a7uxS9tU6

[Markus Kuppe]

Hi all,

to help us get a better picture of our community, please participate in the TLA+ Community Survey: https://forms.gle/uLea7TR9a7uxS9tU6. We will share aggregated survey data eventually.

Thank you!

[Andrew Helwer]

Filled it out! Thanks to all who worked on creating/contributing/editing the survey (Hillel, Markus, others?)

Andrew

[Markus Kuppe]

Thank you all who have submitted a response to the community survey. We have already made several exciting discoveries by looking at the preliminary results. That said, please still fill out the survey (https://forms.gle/uLea7TR9a7uxS9tU6) if you haven’t.