I'm pretty excited that I have a working #TLA+ Tools package for #guix working now (tla2tools.jar). But I have a lot of cleanup (for it and new dependencies) to do before offering a patch, and some more wrapper scripts to write. Also need to figure out why some pcal tests are failing.
This allows for model checking, simulation, and LaTeX output generation, among some other things as well.
@mikegerwitz Well done! Java packages aren’t the easiest; bundling binaries (jars) is widespread practice.
TLA+ Tools patch series submitted after ~17 hours of work:
https://issues.guix.gnu.org/47789
I'll consider tackling TLAPS (the proof system) in the near future, if I have the energy and it's not too involved.