CI Build UniMath · Skantz/UniMath@5dd6800

Postfix notations (i.e. starting with a nonterminal symbol and

Closed notations (i.e. starting and ending with a terminal symbol)

Postfix notations (i.e. starting with a nonterminal symbol and

Postfix notations (i.e. starting with a nonterminal symbol and

Postfix notations (i.e. starting with a nonterminal symbol and

The '%' scope delimiter in 'Arguments' commands is deprecated, use

Notations "_ ^ _" defined at level 30 with arguments constr

Declaring a scope implicitly is deprecated; use in advance an

Overwriting previous delimiting key retract in scope morcls

disp_nat_z_iso_to_trans does not respect the uniform inheritance

Provide feedback