Skip to content
GitLab
Explore
Sign in
Explore projects
Most starred
Trending
Active
Inactive
All
View iris project
I
Paolo G. Giarrusso /
iris
BSD 3-Clause "New" or "Revised" License
The Coq development for Iris
0
Updated
Oct 30, 2025
0
0
0
Updated
Oct 30, 2025
View iris project
I
Jonas Kastberg /
iris
BSD 3-Clause "New" or "Revised" License
The Coq development for Iris
0
Updated
Dec 11, 2025
0
0
0
0
Updated
Dec 11, 2025
Prev
Next