Skip to content
GitLab
Explore
Sign in
Iris
gpfsl
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
fb76fea3
·
update dependencies
·
Apr 12, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/iframe
491997d4
·
WIP: Bump Iris (iFrame).
·
Feb 16, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/ike/frame_exist
01201aa8
·
Remove superfluous unfolds
·
Feb 11, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
chase-lev-sketch
protected
57f24b1a
·
change notation for tokens
·
Jan 23, 2018
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lara
ed1ccaf3
·
bump to master
·
Dec 03, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/janno/canonical-vprop
7b415c46
·
Try something with canonical projections for vProp.
·
Apr 16, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
janno/texan-telescopes
42b7f046
·
Solve `[Post]` subgoals automatically.
·
May 07, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/merge_sbi_new
b14d3053
·
Test with merge SBI.
·
May 22, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar