TLA+ Community Survey 2024 Results

72 views

Skip to first unread message

Samuel Miller

unread,

Apr 9, 2024, 12:06:03 PM4/9/24

to tla...@googlegroups.com

Thank you to those who participated in the community survey. Attached are the results. There's a report by Martin Hornáček, and a presentation with highlights.

Special thanks to Martin for all his work updating the survey and compiling the results. Please let us know if there are any thoughts or questions.

TLA+ Community - 2024 Survey Results.pdf

TLA+ 2024 Survey report.pdf

Reply all

Reply to author

Forward

0 new messages