Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

theoretic:0.1.0 #1665

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

theoretic:0.1.0 #1665

wants to merge 2 commits into from

Conversation

nleanba
Copy link
Contributor

@nleanba nleanba commented Feb 4, 2025

I am submitting

  • a new package
  • an update for a package

Description: Opinionated tool to typeset theorems, lemmas and such.

  • Needs no setup, except one show rule to enable references
  • Flexible references (various presets which can be selected per-reference simply by passing a spcific supplement.
  • Automatic counting
  • Custom "outline" functions to create a table of contents which includes theorems, or list of theorems (optionally sorted) (optionally filtered by theorem-kind) (customizable via show-rules)

I have read and followed the submission guidelines and, in particular, I

  • selected a name that isn't the most obvious or canonical name for what the package does
  • added a typst.toml file with all required keys
  • added a README.md with documentation for my package
  • have chosen a license and added a LICENSE file or linked one in my README.md
  • tested my package locally on my system and it worked
  • excluded PDFs or README images, if any, but not the LICENSE

See https://github.com/nleanba/typst-theoretic

@typst-package-check typst-package-check bot changed the title theoretic v0.1.0 theoretic:0.1.0 Feb 4, 2025
@typst-package-check typst-package-check bot added the new A new package submission. label Feb 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new A new package submission.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant