Skip to content
GitLab
Explore
Sign in
Rice Wine
Iris
Repository
Branches
Overview
Active
Stale
All
mtac2-tt
7ef2e547
·
Add one more missing type annotation for 8.7.
·
Mar 19, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/janno/reduction_no_check
a2b8fe0b
·
Avoid conversion after only reducing goal.
·
Apr 03, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/janno/let_bind_envs
c8a06279
·
Don't `Declare Scope`.
·
Apr 03, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/own_ghost
12a6f8fb
·
Use notation for `own`.
·
Apr 09, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
3f7f9f4e
·
Update example in ProofMode.md
·
Apr 23, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/tc_opaque
bb0f3924
·
`equiv` is no longer type class opaque.
·
Apr 23, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/set_unfold
6d17dc6d
·
CI.
·
Apr 23, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
Next