Mechanically check TLA+ proofs
Blocked by failed dependencies; not queued for a build.
No build output for this package in this campaign. Open a dependency's failure log below.
Planning log · · This campaign
pkgs/applications/science/logic/tlaplus/tlaps.nixBlocking dependencies
Direct dependencies
bash-5.2p37cvc3-2.4.1isabelle-2025ocaml-4.14.2perl-5.40.0stdenv-linuxtlaps-1.4.5.tar.gzwget-1.25.0which-2.23Selected dependents
None recorded.