@fanf@mendeddrum.org2025-12-24 15:42:02
from my link log —
Introduction to TLA model checking on the command line.
https://medium.com/@bellmar/introduction-to-tla-model-checking-in-the-command-line-c6871700a6a2
saved 2019-01-18
@fanf@mendeddrum.org2025-12-24 15:42:02