Skip to content
GitLab
Explore
Sign in
iris
iris
prelude
prelude.v
Find file
Blame
History
Permalink
Update prelude file to use new ssreflect file from std++.
· aa4b0596
Robbert Krebbers
authored
May 01, 2023
aa4b0596
