Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
typstPackages
prooflists
package
typst-package-prooflists
Description
Typeset proof trees with minimal syntax.
Metadata
Install
Version
0.1.0
License
0BSD
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/by-name/ty/typst/build-universe-package.nix:42
Homepage
https://codeberg.org/apropos/typst-prooflists
Maintainers
2
(2)
Gongqi Huang
Ross Smyth
