Files · faa093e6af184c624c0e3586cf4e4dd7f603e093 · Micaela Mayero / Numerical Analysis in Coq · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

N

Numerical Analysis in Coq
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

- Micaela Mayero
- Numerical Analysis in Coq
Repository

Select Git revision

Branches 6
master default protected
test_skolem_ko
Subset
essais-8.18
pr_no_math-comp
released

Tags 5
PhD_HM_2024
1.0
Bochner.1.0
Tonelli.1.0
LInt_p.1.0

11 results

coq-num-analysis

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

Copy SSH clone URLgit@depot.lipn.univ-paris13.fr:mayero/coq-num-analysis.git
Copy HTTPS clone URLhttps://depot.lipn.univ-paris13.fr/mayero/coq-num-analysis.git

authored

Name	Last commit	Last update