Tags · Micaela Mayero / Numerical Analysis in Coq · GitLab

Tags give the ability to mark specific points in history as being important

Bochner.1.0

30b42da5 · FC: suppress _aux suffixes of (used) definitions, add prime suffix to... · Sep 21, 2021
```
CPP22 code, Sep 2021.
```
Download source code

zip tar.gz tar.bz2 tar
Tonelli.1.0

c72cd759 · incr_fun_seq hyp goes first. · Feb 08, 2022
```
ITP22 code Feb 2022.
```
Download source code

zip tar.gz tar.bz2 tar
LInt_p.1.0

e51d4943 · initial from another archive · Sep 07, 2021
```
JAR code june 2021
```
Download source code

zip tar.gz tar.bz2 tar