Skip to content
GitLab
Explore
Sign in
75 forks: 62 public, 3 internal, and 10 private
Created date
View Iris project
Alessio Duè /
Iris
simplify gmap_op_union proof using new lemma
0
Updated
Jan 09, 2026
0
0
0
0
Updated
Jan 09, 2026
View Iris project
Markus de Medeiros /
Iris
Merge branch 'sepM2-lemmas' into 'master'
0
Updated
Jul 15, 2025
0
0
0
0
Updated
Jul 15, 2025
View Iris project
ds-ac /
Iris
Merge branch 'fix-changelog-finite-stepindexing' into 'master'
0
Updated
Jul 02, 2025
0
0
0
0
Updated
Jul 02, 2025
View Iris project
ffengyu /
Iris
remove debug info
0
Updated
Aug 31, 2025
0
0
0
0
Updated
Aug 31, 2025
View Iris project
clef-men /
Iris
Merge branch 'tex_require_mathpartir' into 'master'
0
Updated
Jan 20, 2026
0
0
0
0
Updated
Jan 20, 2026
View Iris project
Quentin VERMANDE /
Iris
update dependencies
0
Updated
Dec 16, 2025
0
0
0
0
Updated
Dec 16, 2025
View Iris project
Daniel Nezamabadi /
Iris
this will be the 4.4 refrence
0
Updated
Nov 13, 2024
0
0
0
0
Updated
Nov 13, 2024
View Iris project
Dongjae Lee /
Iris
release version 4.3
0
Updated
Aug 03, 2025
0
0
0
0
Updated
Aug 03, 2025
View Iris project
Thomas Lamiaux /
Iris
Remove use of `map_Forall_insert_1`.
0
Updated
Sep 03, 2024
0
0
0
0
Updated
Sep 03, 2024
View Iris project
Janggun Lee /
Iris
Merge branch 'generalize-gmlub' into 'master'
0
Updated
Jun 11, 2025
0
0
0
0
Updated
Jun 11, 2025
View Iris project
Yiyun Liu /
Iris
Merge branch 'typos' into 'master'
0
Updated
Feb 06, 2025
0
0
0
0
Updated
Feb 06, 2025
View Iris project
tjhance /
Iris
Merge branch 'robbert/issue_571' into 'master'
0
Updated
Sep 03, 2024
0
0
0
0
Updated
Sep 03, 2024
View Iris project
Benjamin Peters /
Iris
Merge branch 'ralf/stuckness-bool' into 'master'
1
Updated
Aug 02, 2025
1
0
0
0
Updated
Aug 02, 2025
View Iris project
Pierre Roux /
Iris
Adapt to
https://github.com/rocq-prover/rocq/pull/21478
0
Updated
Jan 07, 2026
0
0
0
0
Updated
Jan 07, 2026
View Iris project
Gaëtan Gilbert /
Iris
also exclude Coq 8.20 from testing
0
Updated
Nov 20, 2023
0
0
0
0
Updated
Nov 20, 2023
View Iris Physical Step project
Thomas Somers /
Iris Physical Step
Merge branch 'rodolphe/ci-dune-label' into 'master'
0
Updated
Dec 04, 2025
0
0
1
0
Updated
Dec 04, 2025
View Iris project
Pierre Rousselin /
Iris
update dependencies
0
Updated
Nov 17, 2023
0
0
0
0
Updated
Nov 17, 2023
View Iris project
Isaac van Bakel /
Iris
add iCombine FIXME
0
Updated
Jan 18, 2026
0
0
0
0
Updated
Jan 18, 2026
View Iris project
Yixuan Chen /
Iris
update dependencies
0
Updated
May 21, 2024
0
0
0
0
Updated
May 21, 2024
View Iris project
William Mansky /
Iris
This seems to work, thanks!
0
Updated
Apr 12, 2024
0
0
0
0
Updated
Apr 12, 2024
Prev
1
2
3
4
Next
