nixsearch / pkg / naproche / 2024-01-18

naproche 2024-01-18

Write formal proofs in natural language and LaTeX

Linux and macOS last changed 2024-07-07 outputs: out, doc

Pin this version

$ devbox add naproche@2024-01-18

systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commitb60793b86201040d9dee019a05089a9150d08b5b

$ nix shell github:NixOS/nixpkgs/b60793b86201040d9dee019a05089a9150d08b5b#naproche

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`naproche`	b60793b86201	2024-07-07	`out` /nix/store/jn53b5qh8fddmqbj79l522jd1p0bczns-Naproche-SAD-unstable-2024-01-18 `doc` (not default) /nix/store/x4acjjqr8p0yrwnc336cazsa9g9bqgqx-Naproche-SAD-unstable-2024-01-18-doc
`aarch64-linux` Linux · arm64	`naproche`	b60793b86201	2024-07-07	`out` /nix/store/0idpbx4c5iswmavbwj2f74rx571aihlv-Naproche-SAD-unstable-2024-01-18 `doc` (not default) /nix/store/9a0fh9chsw6qvsvf3s9y67jx5vacav1x-Naproche-SAD-unstable-2024-01-18-doc
`x86_64-darwin` macOS · x86-64	`naproche`	b60793b86201	2024-07-07	`out` /nix/store/dgw9jca8i3h9jp8q0mxz8riw8ksf6d68-Naproche-SAD-unstable-2024-01-18 `doc` (not default) /nix/store/3p21z6fihb34f7ndrsdp5simsr3xz0di-Naproche-SAD-unstable-2024-01-18-doc
`x86_64-linux` Linux · x86-64	`naproche`	b60793b86201	2024-07-07	`out` /nix/store/bcc253n01n9cm9jqxzdf5fxqb30xhsx3-Naproche-SAD-unstable-2024-01-18 `doc` (not default) /nix/store/yabbwzlb9qzfrl0c0nnbmb9zn1b8v1fc-Naproche-SAD-unstable-2024-01-18-doc