[Python] E voic he ne pensate?

Lun 6 Giu 2016 16:27:24 CEST

Il giorno 6 giugno 2016 15:02, Valerio Maggio <valerio.maggio a gmail.com> ha
scritto:

> Btw, ma davvero esiste un linguaggio che si chiama "Coq" ?! ...
>

E lo hanno pure usato per dimostrare il teorema dei quattro colori!

-- 
|_|0|_|
|_|_|0|
|0|0|0|
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: <http://lists.python.it/pipermail/python/attachments/20160606/31e4ffd7/attachment.html>