Skip to content

GitLab

Explore

Sign in

Felipe Cerqueira
rt-proofs

R

rt-proofs

Project ID: 221

409 Commits
15 Branches
4 Tags

The main Coq development.

Archived project! Repository and other project resources are read-only

Clone with SSH
Clone with HTTPS
Open in your IDE
Visual Studio Code (SSH)

Visual Studio Code (HTTPS)

IntelliJ IDEA (SSH)

IntelliJ IDEA (HTTPS)
Download source code
zip

tar.gz

tar.bz2

tar

Download source code
zip

tar.gz

tar.bz2

tar

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:felipec/rt-proofs.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/felipec/rt-proofs.git

README