Snippets Groups Projects

Tags

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

PhD_HM_2024

005b1cb9 · admit inside comments · 3 months ago
zip
tar.gz
tar.bz2
tar
1.0

a39d29d2 · compile with Coq 8.15 · 2 years ago
```
Tonelli.1.0
```
zip
tar.gz
tar.bz2
tar
Bochner.1.0

30b42da5 · FC: suppress _aux suffixes of (used) definitions, add prime suffix to... · 3 years ago
```
CPP22 code, Sep 2021.
```
zip
tar.gz
tar.bz2
tar
Tonelli.1.0

c72cd759 · incr_fun_seq hyp goes first. · 3 years ago
```
ITP22 code Feb 2022.
```
zip
tar.gz
tar.bz2
tar
LInt_p.1.0

e51d4943 · initial from another archive · 3 years ago
```
JAR code june 2021
```
zip
tar.gz
tar.bz2
tar