Skip to content
GitLab
Explore
Sign in
Iris
Actris
Repository
actris
theories
logrel
kind_tele.v
Find file
Blame
History
Permalink
Some tweaks to the telescope file.
· 49ac37b8
Robbert Krebbers
authored
May 10, 2020
49ac37b8