tlaps 1.4.5 single
Mechanically check TLA+ proofs
- Name
tlaps-1.4.5- Package set
- top-level
- Homepage
- https://tla.msr-inria.inria.fr/tlaps/content/Home.html
- License
- BSD-2-Clause
- Source
- pkgs/applications/science/logic/tlaplus/tlaps.nix:59
- Derivation
/nix/store/p03a9j5rwlxj70lnwnj0v62h3a8lbjs6-tlaps-1.4.5.drv
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| florentc | Florent Ch. | GitHub | listed on package |
Dependencies 7
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| cvc3 2.4.1 | nativeBuildInputs | 1 | single | |
| isabelle 2025-2 | nativeBuildInputs | 2 | maintained | |
| perl 5.42.3 | nativeBuildInputs | 80,356 | team-only | |
| wget 1.25.0 | nativeBuildInputs | 112 | single | |
| which 2.25 | nativeBuildInputs | 69,382 | single | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.