texlivePackages.ebproof 2.1.1

Formal proofs in the style of sequent calculus

Linux and macOS last changed 2026-09-29 outputs: tex, texdoc, texsource

Pin this version

$ devbox add texlivePackages.ebproof@2.1.1

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

$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#texlivePackages.ebproof

systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b

$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#texlivePackages.ebproof

System	Attribute	Commit	Date	Outputs
`aarch64-darwin` macOS · arm64	`texlivePackages.ebproof`	b6c8664de9b6	2026-09-29	`tex` /nix/store/pbn346nfzdyhc5y1643cpjx7flf3jmlq-ebproof-2.1.1-tex `texdoc` (not default) /nix/store/hjphalayl7vhmn32sn91ngy2m492h02s-ebproof-2.1.1-texdoc `texsource` (not default) /nix/store/6gxsy9c5zb45gqwhzqpaswcn9mzn2mlr-ebproof-2.1.1-texsource
`aarch64-linux` Linux · arm64	`texlivePackages.ebproof`	b6c8664de9b6	2026-09-29	`tex` /nix/store/g222xq2zz35jll4kxz2m36q942wkax0n-ebproof-2.1.1-tex `texdoc` (not default) /nix/store/hn5w032c5fhkrz9klpd9av2pn3p06c2b-ebproof-2.1.1-texdoc `texsource` (not default) /nix/store/6gxsy9c5zb45gqwhzqpaswcn9mzn2mlr-ebproof-2.1.1-texsource
`x86_64-darwin` macOS · x86-64	`texlivePackages.ebproof`	05988b07fb05	2026-07-08	`tex` /nix/store/jnwm9smhgwv09jj2zp3rvf6zrlxwz167-ebproof-2.1.1-tex `texdoc` (not default) /nix/store/0vm498x7j4vk5sn7a21d4p64lcp1c6hj-ebproof-2.1.1-texdoc `texsource` (not default) /nix/store/6gxsy9c5zb45gqwhzqpaswcn9mzn2mlr-ebproof-2.1.1-texsource
`x86_64-linux` Linux · x86-64	`texlivePackages.ebproof`	b6c8664de9b6	2026-09-29	`tex` /nix/store/gavccn54clx4skmjq05w06vdm3cyc41x-ebproof-2.1.1-tex `texdoc` (not default) /nix/store/wxbbbs9wxbc6ib7mcjsdw0m7fypr3whk-ebproof-2.1.1-texdoc `texsource` (not default) /nix/store/6gxsy9c5zb45gqwhzqpaswcn9mzn2mlr-ebproof-2.1.1-texsource