Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Primary navigation

Project

P

prCFPTT
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Merge requests
- Snippets
- Container Registry
- Model registry
- Environments
- Incidents
- Service Desk
- Value stream analytics
- Model experiments

Snippets Groups Projects

Admin message

Do not update/delete: Banner broadcast message test data

Admin message

Do not update/delete: Notification broadcast message test data

- mstreet FCEIA
prCFPTT

P

prCFPTT

Project ID: 4335985

Copy SSH clone URLgit@staging.gitlab.com:mstreet_fceia/prcfptt.git
Copy HTTPS clone URLhttps://staging.gitlab.com/mstreet_fceia/prcfptt.git

- Clone with SSH
- Clone with HTTPS
Open in your IDE

The repository for this project is empty

Project information

Prácticas de Construcción Formal de Programas en Teoría de Tipos. Escritas en Coq.

Created on

October 09, 2017