tlaps 1.4.3
Mechanically check TLA+ proofs
Linux
last changed
Pin this version
$ devbox add tlaps@1.4.3
$ nix shell github:NixOS/nixpkgs/607178a179d6943cb64970882511c24b2a983c2b#tlaps
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
tlaps |
607178a179d6 |
JSON: /v2/pkg?name=tlaps · /v2/resolve?name=tlaps&version=1.4.3