tla2tools (TLA+ tools) for Guix has been merged! You can now enjoy model checking, typesetting, and more on your Guix system. If you're into that kinda thing.
https://issues.guix.gnu.org/47789
Enjoy!
#guix #TLA
Mike Gerwitz's personal Mastodon instance