Most AI tools produce math that sounds right. srijanta separates the writing from the working: language models draft the words, our own engines compute every number and draw every figure, and Proof checks each answer before anyone sees it.
Lemma reads your notes, scans and PDFs and writes lessons, explanations and questions. It runs on strong language models, chosen for each kind of task and replaced as better ones arrive. Lemma plans the method; it never supplies the final number.
Theorem, Logic, Compass, Momentum, Valence and Orbit are our own software, written to be exact. Fractions stay fractions, every step names the rule it uses, and every figure is drawn from its equations.
Proof tests each result against the question itself, works every answer key, and marks each student's answer with the same math. When a template gives a student new numbers, Proof checks those too.
The engines can't tell whether a scanned page was read correctly, or whether an explanation suits your class. So the first version of anything new is yours to review. Everything made from it afterwards is checked by Proof alone.
| What | Review by a person |
|---|---|
| A lesson or question template made from your document | Once, the first version |
| Fresh numbers, worksheets, tests and practice made from it | None. Proof checks each one |
| The tutor's answers to a student | None. Proof checks the numbers |
| A tutor or parent working alone | Off unless you turn it on |
| A school or a partner | Your own rule: who reviews, and what publishes without asking |
| Engine | What it does |
|---|---|
| Lemma | Drafts lessons, steps and questions from your material, and plans the work. |
| Theorem | Algebra to calculus, statistics and beyond, in exact arithmetic with every step shown. |
| Logic | Names the rule behind each step and the steps it rests on; sets, truth tables and proofs. |
| Compass | Graphs, geometry, 3D and animation, drawn from the equations. |
| Momentum | Physics simulated from the laws: motion, forces, fields. |
| Valence | Molecules, reactions and quantities, every equation balanced. |
| Orbit | Where the sun, moon and planets are at any moment, drawn to scale. |
| ApasScript | The language lessons are written in. One source becomes a web page, slides, a PDF and a test. |
| Proof | Checks every answer and marks every student's work with the same math. |
| Relay | Takes a whole course through every step in order, shows the cost first, and resumes where it stopped. |
A new subject doesn't need a new engine. Questions are templates written in ApasScript, so electrical engineering, computer science and machine learning are computed and checked the same way as algebra.
What you upload and make is kept in your organisation's library on our US servers. A language model is sent only the part of your material that a task needs. You can download your material, and ask us to delete it, at any time.
Bring a chapter or a question paper to a 30-minute demo.