Revision 4f2fb8af1d276e27dc74b0811e0dab305cc3a50c authored by Arvid Jakobsson on 09 October 2020, 16:17:51 UTC, committed by Raphaël Cauderlier on 25 April 2021, 12:21:28 UTC
1 parent 28ab3ae
File | Mode | Size |
---|---|---|
talk_01_14_2020_visit_cobra | ||
talk_08_09_2019_coq_workshop | ||
talk_11_10_2019_FMBC_workshop | ||
talk_12_03_2019_multisig_lightling_talk | ||
talk_14_02-2020_WTSC | ||
talk_15_10_2019_ledger_meetup | ||
talk_17_09_2018_interview | ||
talk_20_05_2019_irif_semverif | ||
talk_27_06_2019_chainacc_training | ||
talk_30_01_2020_deducteam_seminar | ||
LogoNL.jpg | -rw-r--r-- | 162.7 KB |
logo_albert.png | -rw-r--r-- | 2.9 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 ...