nixsearch / pkg / naproche / 2024-05-19

naproche 2024-05-19

Write formal proofs in natural language and LaTeX

Linux and macOS last changed 2026-09-29 outputs: out, doc

Pin this version

$ devbox add naproche@2024-05-19

systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4

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

systemsx86_64-darwin commit3d46470bb3030020f7e1361f33514854f5bfa86d

$ nix shell github:NixOS/nixpkgs/3d46470bb3030020f7e1361f33514854f5bfa86d#naproche

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`naproche`	b6c8664de9b6	2026-09-29	`out` /nix/store/cfmy54r7am94q706fr882037mlmr2z0p-Naproche-SAD-unstable-2024-05-19 `doc` (not default) /nix/store/i7glbbi8yl5ssdrbvj4qajj97a6kvib6-Naproche-SAD-unstable-2024-05-19-doc
`aarch64-linux` Linux · arm64	`naproche`	b6c8664de9b6	2026-09-29	`out` /nix/store/p5qjxy4q5pmi0waf7iyyam6bvsyq6fpn-Naproche-SAD-unstable-2024-05-19 `doc` (not default) /nix/store/bnfyrsvl3i202mavx500ck549qvnvm7d-Naproche-SAD-unstable-2024-05-19-doc
`x86_64-darwin` macOS · x86-64	`naproche`	3d46470bb303	2026-06-27	`out` /nix/store/cn4acg9dfryhyhwrzj5lvjldx44az7kf-Naproche-SAD-unstable-2024-05-19 `doc` (not default) /nix/store/6lz34gqrg8d2bp5np5pk2gm439m2r8k8-Naproche-SAD-unstable-2024-05-19-doc
`x86_64-linux` Linux · x86-64	`naproche`	b6c8664de9b6	2026-09-29	`out` /nix/store/rr7509hm4ymfhliqp4p9jbxyx26pwn35-Naproche-SAD-unstable-2024-05-19 `doc` (not default) /nix/store/1gvlcr3044skpdfkc2lcy3cngna00ry3-Naproche-SAD-unstable-2024-05-19-doc