Explanation: manually written down contemporaneous with the lecture delivery. The notes might not capture everything that was said depending on speed of delivery and bandwidth for transcription.

Who does the work: student or researcher

Motive for doing this work: to facilitate recall of the discussion.

1. lecture video
2. hand-written notes
3. Latex document
4. Content tags
   • section document structure
   • tagging words
   • expression semantics
5. tags for sections and words and expressions
6. concepts to variables
7. all steps
8. derivation graph
9. replace symbols with numeric ID
10. validation of steps
11. validation of dimension
12. proof of inference rule