Il giorno 6 giugno 2016 15:02, Valerio Maggio <valerio.mag...@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|
_______________________________________________ Python mailing list Python@lists.python.it http://lists.python.it/mailman/listinfo/python
