Skip to content

Added refinements

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

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

Merge request reports