How it works
- The goal: for every result, record what it depends on. That is what its proof uses, or, when the proof is omitted or elsewhere, what its statement names (an equation, a cited result). Theorems, lemmas, propositions and corollaries are the results. Definitions, assumptions and notation have no proof; they are drafted only so proofs can point at them: confirm and move on. Every draft is placed in the PDF: check it, fix what is off, confirm. Remarks, examples and numbered equations are never drafted; when a proof names one, pick it in the list and it becomes a node. Anything missing: select it in the PDF and press N. If a kind does not fit, choose the closest one (or Other) and say what was odd in the node's note.
- A node's highlight is the statement as printed, heading included, never its proof. Never transcribe: the text shown under a highlight only tells you where it landed.
- An ingredient is what the text names, highlighted at the few words where it names it: press I on the node, mark "by Lemma 3.1" or "(2.4)" or "since the set is compact", then pick the target. Point at the most specific thing the text names (the equation, not the lemma around it). Once per target, at its first use. Explicit = named; implicit = used without being named (a definition, a standard fact).
- Proof status. Under Ingredients, say whether the statement's proof is in the paper, omitted or sketched, or none. The default is usually right; change it only when it is not. A statement with no proof can still have ingredients, in its own wording.
- Some papers open with draft ingredients (dashed chips): the references the paper itself makes inside that proof — its own lemmas by number, cited works, numbered equations — read straight from the LaTeX, with no model involved. Click draft · confirm if the proof uses it, × if it does not, and add what the text never cites. Other papers open with none; that is deliberate, not a fault.
- Press Finish paper when you are done and rate how hard it was. Everything saves as you go, under your name, one tab per paper.
Footnotes: proof techniques (induction, contradiction, cases) are not ingredients. A statement restated from a cited source gets that citation as an ingredient, highlighted in its header, with proof status omitted. To shrink a highlight, remove its block with the small × and highlight again. Ingredient order follows your highlights; drag a number badge onto another ingredient to override it, click the order label to reset. Edit a wrong draft rather than deleting and re-adding it; delete only what should not be a node. Only the paper counts: no tools, no search.