Skip to content
GitLab
Explore
Sign in
MMT
MMT
M
MMT
Project ID: 5
The repository for this project is empty
Copy HTTPS clone URL
Copy SSH clone URL
git@gl.kwarc.info:mmt/mmt.git
Copy HTTPS clone URL
https://gl.kwarc.info/mmt/mmt.git
Code
Clone with SSH
Clone with HTTPS
Open in your IDE
Visual Studio Code (SSH)
Visual Studio Code (HTTPS)
IntelliJ IDEA (SSH)
IntelliJ IDEA (HTTPS)