progress autosaves in this browser · export often
🕸 lp2graph — the library behind this corpus ›
🚂 Formula Express · Chair of Railway Operations · 3 papers · 92 formulas
60 seconds. Accept or reject as many formulas as you can.
Unsure? Skip — no penalty.
Every step that finished a formula off, newest first. A formula is broken down when every symbol it uses carries a kind, which is what makes it ingestible.
One box per formula. If the extraction glued several formulas into one blob: ✂ split cuts the box in two at the cursor, ⊕ copy box duplicates it (then trim each copy). All boxes are saved as separate corrected formulas.
Merge a previous export (decisions from another device).