TR-LALM Theory Documentation Lean source path No separate reading sections are published for this version.