Move all documentation to the `/documentation` folder and do a first … · 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

Not considering unicode character "̂" of unknown lexical status as

Provide feedback