opera

An opera is 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 puzzles🧩 for identification.