Skip to content

Add setoid rewrite

Sergey Bozhko requested to merge sbozhko/rt-proofs:setoid_rewrite into master

Merge request reports