yaoyi liuinELP-2018Théorème impossible à prouver? Ça n’existe pasUne brève introduction de coqJun 1, 2018Jun 1, 2018