Where did LCM come from?

What is LCM for?

What is LCM for?

lThe original motivation was Proof Animation technology, which aims to
debug (partially) formalized proofs with
proof
checkers.

lBy chance, thank to A. Yamamoto, I could related it to learning
theory.

lLCM is primarily for Proof Animation.