Did you try pluscal? My understanding is TLA+ is intended to be low level ( clos... | Hacker News

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

skyde on Aug 21, 2021 | parent | context | favorite | on: TLA+ is hard to learn (2018)

Did you try pluscal? My understanding is TLA+ is intended to be low level ( closer to theorem prover like z3) instead of a high level spec language.

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