Revision f65e22e08cc374fc0945063a00d977976216abd1 authored by Raphaël Cauderlier on 13 January 2020, 12:33:51 UTC, committed by Raphaël Cauderlier on 13 January 2020, 12:34:38 UTC
1 parent dc275c8
| File | Mode | Size |
|---|---|---|
| talk_01_14_2020_visit_cobra | ||
| talk_08_09_2019_coq_workshop | ||
| talk_11_10_2019 | ||
| talk_15_10_2019 | ||
| talk_17_09_2018 | ||
| talk_20_05_2019 | ||
| talk_27_06_2019 | ||
| LogoNL.jpg | -rw-r--r-- | 162.7 KB |
| logo_michocoq.png | -rw-r--r-- | 30.1 KB |
| logo_pile_qui_chante.png | -rw-r--r-- | 85.8 KB |
| logo_tezos.tikz | -rw-r--r-- | 1.8 KB |
Computing file changes ...
