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]
11
Updated
Oct 07, 2024
11
65
22
197
Updated
Oct 07, 2024
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
Oct 07, 2024
0
0
0
Updated
Oct 07, 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
Jul 02, 2024
0
0
0
0
Updated
Jul 02, 2024
Adam /
Iris
The Coq development for Iris.
[project website]
[coqdoc]
0
Updated
Sep 12, 2024
0
0
0
0
Updated
Sep 12, 2024
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
Apr 15, 2024
0
0
0
5
Updated
Apr 15, 2024
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
Jul 19, 2024
0
0
0
0
Updated
Jul 19, 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 20, 2024
0
0
0
0
Updated
Feb 20, 2024
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
Next
