Universe

Opinionated tool to typeset theorems, lemmas and such

Example Usage:

  #import "@preview/theoretic:0.1.0" as theoretic: theorem, proof, qed

  // Otherwise, references won't work.
  #show ref: theoretic.show-ref

  // set up your needed presets
  #let corollary = theorem.with(kind: "corollary", supplement: "Corollary")
  #let example = theorem.with(kind: "example", supplement: "Example", number: none)
  // ..etc

  // use
  #theorem(title: [Important Theorem])[#lorem(5)]
  #corollary[#lorem(5)]
  #example[#lorem(5)]
  // ..etc

Full manual: first page of the documentation