Skip to content

Added refinements

Ghost User requested to merge sbozhko/rt-proofs:refinements into master

This MR adds refinements for basic arithmetic functions and operations on lists.

Merge request reports