typst-theorems
typst-theorems copied to clipboard
An implementation of numbered theorem environments in typst
Currently, there is no clear way to `update` a counter manually. An example of the desired usage: ```typst #import "@preview/ctheorems:1.1.2": * #show: thmrules #let theorem = thmbox( "theorem", "Theorem", base_level:...
If you have a footnote somewhere in a proof, that footnote is printed on the last page of the proof instead of being printed on the page with the footnote's...
It's possible to change the symbol used at the end of the specific proof environment using the following. ```typst #let proof-nested = thmproof( "proof", "Proof", base: "theorem", inset: 0pt, bodyfmt:...
This is a simple answer to the discussion in #8. Although it doesn't support conjunctive normal form, it integrates with the existing label system and can print multiple theorems that...
If you nest multiple proofs, only the innermost ones get a qed symbol. ```typst #set page(width: 11cm, height: auto, margin: 1em) #set par(justify: true) #import "@preview/ctheorems:1.1.2": * #show: thmrules #let...
I would like to display text and a picture side by side inside the theorem's box, like this:  Is there an easy way to achieve this? The following code...
[Repro](https://typst.app/project/rpSZMQFKJ9eoy3w9YqhhRa): ```typst #import "@preview/ctheorems:1.1.2": * #set page(height: auto, margin: 4em) #let proof = thmproof("proof", "Proof") #show: thmrules.with(qed-symbol: $square$) #proof[ For each $a_1,…, a_k in A$, we have $ f (α^*...
I want to use the #set rule to change the background color of the axioms, however what I can do is only to change the source code where the axiom...
I was mulling about how convenient it would be for someone writing a summary to have the ability to restate (i.e. re-print/ repeat) a theorem, or restate all theorems, elsewhere...