Skip to content
GitLab
Explore
Sign in
Explore projects
Most starred
Trending
Active
Inactive
All
Iris /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
13
Updated
Feb 10, 2025
13
72
24
197
Updated
Feb 10, 2025
I
Amin Timany /
iris-coq
The Coq development for Iris
0
Updated
Sep 09, 2023
0
0
0
0
Updated
Sep 09, 2023
I
Paolo G. Giarrusso /
iris
The Coq development for Iris
0
Updated
Dec 22, 2024
0
0
0
Updated
Dec 22, 2024
I
Jonas Kastberg /
iris
The Coq development for Iris
0
Updated
Jan 18, 2024
0
0
0
0
Updated
Jan 18, 2024
I
Tej Chajed /
iris
The Coq development for Iris
0
Updated
Jul 23, 2024
0
0
0
0
Updated
Jul 23, 2024
I
Simon Spies /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Feb 01, 2023
0
0
0
0
Updated
Feb 01, 2023
I
Simon Friis Vindum /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Aug 28, 2023
0
0
0
0
Updated
Aug 28, 2023
I
Arthur Azevedo de Amorim /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
May 24, 2023
0
0
0
0
Updated
May 24, 2023
I
Yusuke Matsushita /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Feb 09, 2025
0
0
0
0
Updated
Feb 09, 2025
Adam /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Jan 09, 2025
0
0
0
0
Updated
Jan 09, 2025
Johannes Hostert /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Feb 29, 2024
0
0
0
0
Updated
Feb 29, 2024
Simon Spies /
Iris Parametric Index
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Feb 09, 2025
0
0
0
5
Updated
Feb 09, 2025
Pierre Roux /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Nov 03, 2023
0
0
0
0
Updated
Nov 03, 2023
William Mansky /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Apr 12, 2024
0
0
0
0
Updated
Apr 12, 2024
Yixuan Chen /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
May 21, 2024
0
0
0
0
Updated
May 21, 2024
Isaac van Bakel /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Nov 15, 2024
0
0
0
0
Updated
Nov 15, 2024
Pierre Rousselin /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Nov 17, 2023
0
0
0
0
Updated
Nov 17, 2023
tlsomers /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Feb 10, 2025
0
0
0
0
Updated
Feb 10, 2025
Gaëtan Gilbert /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Nov 20, 2023
0
0
0
0
Updated
Nov 20, 2023
Pierre Roux /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Sep 16, 2024
0
0
0
0
Updated
Sep 16, 2024
Prev
Next