Follow

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.

issues.guix.gnu.org/47789

Enjoy!

Sign in to participate in the conversation
Mike Gerwitz's Mastodon Instance

Mike Gerwitz's personal Mastodon instance