4 Kickoff afternoon Xavier Leroy Proof assistants in computer science research

>> DOWNLOAD LINK 🎞️ #1 <<

>> DOWNLOAD LINK 🎞️ #2 <<

>> COPY / PASTE LINK PLEASE 🎵 MP3 <<

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=PE4v6rVpX2g

J'ai créé cette vidéo à l'aide de l'application de montage de vidéos YouTube (   / editor  .

#############################