Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
I
Iris
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
97
Issues
97
List
Boards
Labels
Milestones
Merge Requests
19
Merge Requests
19
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Iris
Iris
Details
I
Iris
Project ID: 118
Star
12
5,905
Commits
70
Branches
12
Tags
18.4 MB
Files
878.7 MB
Storage
The Coq development for Iris.
[project website]
[coqdoc]
Read more
master
Switch branch/tag
Find file
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Clone
Clone with SSH
Clone with HTTPS
Copy HTTPS clone URL
Copy SSH clone URL
git-rts@gitlab.mpi-sws.org:iris/iris.git
Copy HTTPS clone URL
https://gitlab.mpi-sws.org/iris/iris.git
README
LICENSE
CHANGELOG
CONTRIBUTING
CI/CD configuration
