Skip to content
GitLab
Explore
Sign in
Jules Jacobs
Iris
Repository
Branches
Overview
Active
Stale
All
robbert/own_ghost
12a6f8fb
·
Use notation for `own`.
·
Apr 09, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/plausibly
3e4b87c2
·
Show that bupd entails plausibly.
·
Oct 27, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/thread_local_wp
1ca1a1aa
·
WIP.
·
Feb 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/unbundle_chain
320b9511
·
WIP.
·
Jan 24, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
seal_ires
fdcce825
·
Bench.
·
Feb 22, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
strong_frame
bc4b0cc2
·
Strong framing by default for persistent hypotheses.
·
Mar 05, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
swasey/sequential
94bbe14d
·
Support sequential languages.
·
Dec 17, 2016
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
swasey/sets
5140c630
·
Adjust comment.
·
Feb 23, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
swasey/sets-typeclass
997bfe3f
·
`namespace_map` notes.
·
Feb 25, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
unified_persistent_modality
09b0b3c9
·
Use more informative tags `Strong` and `Weak` for the modalities.
·
Oct 24, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
2
3
4
Next