Required Format
Your .typ file must contain the metadata block and three rigid content blocks:
// id: thm-my-theorem
// type: theorem
// deps: [def-group]
// tags: ["algebra", "group-theory"]
---
#statement[
Let $G$ be a group. Then...
]
#intuition[
This essentially means that...
]
#proof[
By the definition of a group...
]Structure Reference
- id: Unique identifier (e.g.,
thm-bolzano). - type: Must be:
theorem,lemma,definition,axiom,intuition, orproof. - deps: Array of prerequisite IDs (can be empty:
[]). - tags: Array of topics for auto-sorting (e.g.,
["topology"]). The first tag determines the folder. - #statement[]: The formal mathematical claim.
- #intuition[]: A plain-English explanation of what the math actually means.
- #proof[]: The rigorous derivation. (Write "Omitted" if it is an axiom).
Upload Submission
Drop your .typ file here
or click to browse