Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
!61
Adding telescopes and some useful lemmas.
代码
评审变更
检出分支
下载
补丁
文本差异
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