nixsearch / pkg / lean2 / 2017-07-22

lean2 2017-07-22broken

Automatic and interactive theorem prover (version with HoTT support)

Linux and macOS last changed 2022-03-21

Pin this version

$ devbox add lean2@2017-07-22

systemsaarch64-darwin, x86_64-darwin commit3a641defd170a4ef25ce8c7c64cb13f91f867fca

$ nix shell github:NixOS/nixpkgs/3a641defd170a4ef25ce8c7c64cb13f91f867fca#lean2

systemsx86_64-linux commit4c3c80df545ec5cb26b5480979c3e3f93518cbe5

$ nix shell github:NixOS/nixpkgs/4c3c80df545ec5cb26b5480979c3e3f93518cbe5#lean2

System	Attribute	Commit	Date	Flags
`aarch64-darwin` macOS · arm64	`lean2`	3a641defd170	2022-02-15	broken
`x86_64-darwin` macOS · x86-64	`lean2`	3a641defd170	2022-02-15	broken
`x86_64-linux` Linux · x86-64	`lean2`	4c3c80df545e	2022-03-21	broken