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