nixsearch
nixsearch / pkg / tlaps / 1.4.3

tlaps 1.4.3

Mechanically check TLA+ proofs
Linux last changed

Pin this version

$ devbox add tlaps@1.4.3
systemsx86_64-linux commit607178a179d6943cb64970882511c24b2a983c2b
$ nix shell github:NixOS/nixpkgs/607178a179d6943cb64970882511c24b2a983c2b#tlaps

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-linux
Linux · x86-64
tlaps 607178a179d6
← newer: 1.4.5 all 2 releases

JSON: /v2/pkg?name=tlaps · /v2/resolve?name=tlaps&version=1.4.3