Skip to content
GitLab

Add ssreflect file (from Iris).

Merged Robbert Krebbers requested to merge robbert/ssreflect into master

This closes issue #177 (closed).

Edited by Robbert Krebbers

Merge request reports