tlaplus « logic « science « applications « pkgs - nixpkgs - Downstream nixpkgs tree for Spectrum

summary refs log tree commit diff

path: root/pkgs/applications/science/logic/tlaplus

Mode	Name	Size
-rw-r--r--	default.nix	1387	log plain blame
-rw-r--r--	tlaplus18.nix	1521	log plain blame
-rw-r--r--	tlaps.nix	1386	log plain blame
-rw-r--r--	toolbox.nix	2960	log plain blame