Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
tests
telescopes.v
Find file
Blame
History
Permalink
Add proof mode test cases for handling telescopes.
· 50ba690d
Robbert Krebbers
authored
Apr 02, 2020
50ba690d