Skip to content

Add definition of notations in the environment

Guillaume Claret requested to merge add-infix-notations into master

Add infix notations to the generated Coq code in order to improve readability of arithmetic expressions.

Merge request reports