[Python] E voic he ne pensate?

[enrico franchi]

2016-06-06 15:27 GMT+01:00 Marco Santamaria <marco.santamaria a gmail.com>:

>
> 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!
>

And now a presentation about the coq programming language...

[leggere ad alta voce...]

-- 
.
..: -enrico-
-------------- parte successiva --------------
Un allegato HTML è stato rimosso...
URL: <http://lists.python.it/pipermail/python/attachments/20160613/7dc88e04/attachment.html>