opera

An opera :== the program (of opus numbers) of a libretto. (see opus, developus, opera ludo, hash opera, #opéra-ballet, ballet🩰, #libretto, γ-proof)
/// To me, an opera represents the 'flow of a proof'. It can also be a runtime. The works highlight or exploit puzzles🧩 for identification.