Skip to content
GitLab
Explore
Sign in
Iris
Diaframe
Repository
Branches
Overview
Active
Stale
All
ci/fix_universe_constraints
5bb94ecd
·
Work around coq universe bugs in instance declarations..
·
Jul 27, 2024
master
default
protected
546f04e9
·
Merge branch 'ci/linear_affine_pure_split_fix' into 'master'
·
Jun 09, 2024
ci/intro_vars_subst
74bdf25f
·
Fix introduce_var not expecting killed goals on introducing contradictory hyps
·
May 24, 2024