CI Build UniMath · rmatthes/UniMath@0fccbda

Coq.Init.Notations has been replaced by Stdlib.Init.Notations.

"From Coq" has been replaced by "From Stdlib".

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

Provide feedback