79 forks: 66 public, 3 internal, and 10 private
Created date
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
May 27, 2026
0
0
0
0
Updated
May 27, 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
View Iris project
Pierre Roux /
Iris
require locality attribute for Hint Rewrite
0
Updated
Nov 03, 2023
0
0
0
0
Updated
Nov 03, 2023
View Iris project
Simcha van Collem /
Iris
Merge branch 'robbert/iFrame_fail_more_work' into 'master'
0
Updated
May 19, 2026
0
0
0
0
Updated
May 19, 2026
View Iris Parametric Index project
Simon Spies /
Iris Parametric Index
Merge branch 'tex_require_mathpartir' into 'master'
0
Updated
Mar 28, 2025
0
0
0
5
Updated
Mar 28, 2025
View Iris project
Niklas Mück /
Iris
added to readme
0
Updated
Nov 17, 2022
0
0
0
0
Updated
Nov 17, 2022
View Iris project
Johannes Hostert /
Iris
egrep -> grep -E
0
Updated
May 13, 2026
0
1
0
1
Updated
May 13, 2026
View Iris project
Ike Mulder /
Iris
Merge branch 'master' into 'master'
0
Updated
Mar 05, 2024
0
0
0
0
Updated
Mar 05, 2024
View Iris project
Glen Mével /
Iris
Merge branch 'janno/defuse-iAssumption' into 'master'
0
Updated
Feb 02, 2022
0
0
0
0
Updated
Feb 02, 2022
View Iris project
Adam /
Iris
Merge branch 'msammler/stdpp_555' into 'master'
0
Updated
Jan 09, 2025
0
0
0
0
Updated
Jan 09, 2025
View Iris project
Vincent /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Jun 08, 2022
0
Updated
Jun 08, 2022
View Iris project
Armaël Guéneau /
Iris
add changelog for iris_invG rename
0
Updated
Mar 02, 2023
0
0
0
0
Updated
Mar 02, 2023
View Iris project
Matthieu Sozeau /
Iris
move common style checks to separate file
0
Updated
Jan 14, 2022
0
0
0
0
Updated
Jan 14, 2022
View Iris project
Ralf Jung /
Iris
add Iris 3.4 release date
0
Updated
Feb 20, 2024
0
0
0
0
Updated
Feb 20, 2024
View Iris project
Simon Hudon /
Iris
Merge branch 'ralf/wp_frame_wand' into 'master'
0
Updated
May 19, 2021
0
0
0
0
Updated
May 19, 2021
View Iris project
Andrej Dudenhefner /
Iris
Merge branch 'ralf/coq-8.11' into 'master'
0
Updated
Apr 08, 2021
0
0
0
0
Updated
Apr 08, 2021
View Iris project
Yusuke Matsushita /
Iris
Merge branch 'ralf/fixpoint-laws' into 'master'
0
Updated
Feb 09, 2025
0
0
0
0
Updated
Feb 09, 2025
View Iris project
Enrico Tassi /
Iris
Merge branch 'ralf/frac-op-valid' into 'master'
0
Updated
Jun 27, 2025
0
0
0
0
Updated
Jun 27, 2025
1
2
3
4
