gitlab.inria.fr / meta-blipp 1 Repository
Projects that were previously owned by Benjamin Lipp's Inria user
meta-blipp/proverif
ProVerif symbolic protocol verifier
Last synced at: 7 months ago - Stars: 0 - Forks: 0
meta-blipp/cv2fstar-material
Supplementary material for the cv2fstar of my PhD thesis
Last synced at: 7 months ago - Stars: 0 - Forks: 0
meta-blipp/ip1-python-2019
Matériaux pour le TP de IP1-Python à Paris Diderot en année universitaire 2019-20.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
meta-blipp/talks
LaTeX and other sources of my talks
Last synced at: 7 months ago - Stars: 0 - Forks: 0