Skip to content
GitLab
Explore
Sign in
Add setoid rewrite
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Add setoid rewrite
Sergey Bozhko
requested to merge
sbozhko/rt-proofs:setoid_rewrite
into
master
Sep 14, 2020
Overview
11
Commits
1
Pipelines
8
Changes
3
Merge request reports
Loading