Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!61
Adding telescopes and some useful lemmas.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Ghost User
requested to merge
telescope
into
master
Aug 28, 2017
Overview
19
Commits
1
Pipelines
0
Changes
2
Expand
These will be used to help define and prove lemmas related to the incoming Accessible typeclass.
Merge request reports