Online Generation of Proofs Without Words