Skip to content

Add ssreflect file (from Iris).

Robbert Krebbers requested to merge robbert/ssreflect into master

This closes issue #177 (closed).

Edited by Robbert Krebbers

Merge request reports