Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
gpfsl
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
41e501bd
·
update dependencies
·
Oct 03, 2023
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