77 forks: 64 public, 3 internal, and 10 private
Created date
View Iris project
Marijn van Wezel /
Iris
Merge branch 'ralf/rocq-9.2' into 'master'
0
Updated
Mar 05, 2026
0
0
0
0
Updated
Mar 05, 2026
View Iris project
Zichen Zhang /
Iris
strengthen proph_map_init
0
Updated
May 14, 2026
0
0
0
0
Updated
May 14, 2026
View Iris project
Alessio Duè /
Iris
simplify gmap_op_union proof using new lemma
0
Updated
Feb 05, 2026
0
0
0
0
Updated
Feb 05, 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
Mar 03, 2026
0
0
0
0
Updated
Mar 03, 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
update dependencies
1
Updated
May 06, 2026
1
0
0
0
Updated
May 06, 2026
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 'ralf/cinv-persist' into 'master'
0
Updated
May 12, 2026
0
0
1
0
Updated
May 12, 2026
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
Feb 19, 2026
0
0
0
0
Updated
Feb 19, 2026
1
2
3
4
