Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Iris
Repository
Branches
Overview
Active
Stale
All
robbert/leibnizO
8ebf6025
·
Paolo's suggestion
·
Dec 04, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/intuitionistically_alt
c6012745
·
Add lemma `intuitionistically_alt P : □ P ⊣⊢ <affine> <pers> P`.
·
Dec 04, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
002cb824
·
Type annotation in potential ambigious case.
·
Dec 04, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
simon/proofmode_primitive_projections
fcb57293
·
Revert "make upred projections primitive"
·
Dec 02, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/big_op_binder
merged
0721fd0d
·
Document FIXME.
·
Nov 17, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/no_native_compute
merged
93d9ef74
·
Avoid relying on native_compute.
·
Nov 16, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
simon/parametric-index
64cd40ba
·
Merge branch 'master' into simon/parametric-index
·
Oct 27, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/robbert/set_solver_eauto
336404e0
·
update to std++ snapshot
·
Oct 27, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar