An Introduction to TLA+ and Its Use in Parties | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		An Introduction to TLA+ and Its Use in Parties (innoq.com)
		4 points by todsacerdoti on May 9, 2023 \| hide \| past \| favorite \| 3 comments

jeeger on May 9, 2023 [–]

Author here, if you have any questions or remarks.

grayswandyr on May 10, 2023 | [–]

Hi thanks for the nice example. Unfortunately seems like you need an account on Innoq's Gitlab server to retrieve the examples?

jeeger on May 12, 2023 | | [–]

fixed!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact