typstPackages.great-theorems 0.1.2 maintained

Theorem/Proof environments. Straightforward, functional, clean

Name: typst-package-great-theorems-0.1.2
Package set: typstPackages
Homepage: https://github.com/jbirnick/typst-great-theorems
License: MIT
Source: pkgs/by-name/ty/typst/build-universe-package.nix:42
Derivation: /nix/store/6v42dw2mpx4wvg15888mi1qxa0in4cf0-typst-package-great-theorems-0.1.2.drv
Repology: not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
Also available as: typstPackages.great-theorems_0_1_2

Maintainers 2

Handle	Name	Contact	Via
cherrypiejam	Gongqi Huang	GitHub	listed on package
RossSmyth	Ross Smyth	GitHub · @rosssmyth:matrix.org	listed on package

Dependencies 2

Package	As	Maintainers	Used by (transitive)	Status
bashNonInteractive 5.3p15	other input	andir, balsoft, infinisil, pyrox0	102,198	maintained outdated
stdenvNoCC 26.05pre-git	other input		93,715	team-only

Used by 34 directly, 34 transitively

Package	As	Maintainers	Status
typstPackages.classic-tud-math-thesis 0.1.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-cnam-template 1.6.6	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-cnam-template_1_0_0 1.0.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-cnam-template_1_1_0 1.1.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-cnam-template_1_2_0 1.2.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-cnam-template_1_3_0 1.3.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-cnam-template_1_4_0 1.4.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-cnam-template_1_5_0 1.5.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-cnam-template_1_6_2 1.6.2	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-cnam-template_1_6_4 1.6.4	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-paper 0.2.8	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-paper_0_1_1 0.1.1	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-paper_0_2_0 0.2.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-paper_0_2_1 0.2.1	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-paper_0_2_2 0.2.2	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-paper_0_2_3 0.2.3	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-paper_0_2_4 0.2.4	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-paper_0_2_5 0.2.5	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-paper_0_2_6 0.2.6	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-paper_0_2_7 0.2.7	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-thesis 0.4.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.clean-math-thesis_0_3_0 0.3.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.elegant-polimi-thesis 0.2.1	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.elegant-polimi-thesis_0_1_1 0.1.1	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.elegant-polimi-thesis_0_2_0 0.2.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.illc-mol-thesis 0.2.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.illc-mol-thesis_0_1_2 0.1.2	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.modern-scut-thesis 0.1.1	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.modern-scut-thesis_0_1_0 0.1.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.ssrn-scribe 0.10.1	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.ssrn-scribe_0_10_0 0.10.0	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.ssrn-scribe_0_9_1 0.9.1	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.tudelft-prime-presentation 0.1.3	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained
typstPackages.tudelft-prime-presentation_0_1_2 0.1.2	propagatedBuildInputs	cherrypiejam, RossSmyth	maintained