File | Mode | Size |
---|---|---|
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 |