2 commits

Author	SHA1	Message	Date
Ohad Livne	48d960878d	Correctly update executable links	2026-04-06 21:45:55 +03:00
Ohad Livne	b8546200a4	Install TLAPS for stronger verification of TLA+ models	2026-02-28 09:43:56 +02:00